i favour this On Mon, Jun 24, 2019 at 6:13 PM omd <c.ome...@gmail.com> wrote:
> On Sun, Jun 23, 2019 at 3:40 PM Kerim Aydin <ke...@uw.edu> wrote: > > > > > > CFJ: An Agoran decision to select the winner of the election has > > a voting method of AI-Majority. > > > > Rule 1950 (Decisions with Adoption Indices, Power=3): > > Adoption index is an untracked switch possessed by Agoran > > decisions and proposals, whose value is either "none" (default) > > [...] > > For any Agoran decision with an adoption index, the voting method > > is AI-majority. > > > > This states outright that Agoran decisions have AIs, and any decision > with > > an AI has a voting method of AI-majority. The fact that the value of > the AI > > is "none" doesn't mean the AI is nonexistent. > > Gratuitous: Given the way that both this rule and R2162 (Switches) > gloss over the differences between (a) switches, (b) types of > switches, (c) instances of switches, and (d) values of instances of > switches, I think it's no great leap to say that the text is unclear > for R217 purposes, allowing it to be augmented with factors including > common sense. Precisely because all decisions, by definition, have an > instance of the adoption index switch (especially since that > definition is in the very same rule), common sense suggests that > "decision with an adoption index" should be read as something other > than "decision having an instance of the adoption index switch". > > Evidence: > > Rule 2162/11 (Power=3) > Switches > > A type of switch is a property that the rules define as a switch, > > (Is it a type of switch or a switch?) > -- >From R. Lee
