Re: DIS: Re: BUS: Re: OFF: Distribution of Proposals 7081-7083

2011-06-22 Thread Elliott Hird
On 23 June 2011 05:18, Pavitra wrote: > Are you trying to get at the "select two votes" thing? I think it pretty > clearly evaluates down to one selection at the end. No; comex is arguing that the action is interpreted as (vote(MURPH or AGAINST)); I am arguing for (vote(MURPH) or vote(AGAINST)),

Re: DIS: Re: BUS: Re: OFF: Distribution of Proposals 7081-7083

2011-06-22 Thread Pavitra
On 06/22/2011 07:47 PM, Elliott Hird wrote: > On 22 June 2011 01:33, omd wrote: >> Arguments: func(a || b) is not generally equivalent to func(a) || func(b). > > Arguments: Is "AGAINST if Murphy sucks, else PRESENT" one vote, or a > conditional branch of two votes? Are you trying to get at the "

Re: DIS: Re: BUS: Re: OFF: Distribution of Proposals 7081-7083

2011-06-22 Thread Elliott Hird
On 22 June 2011 01:33, omd wrote: > Arguments: func(a || b) is not generally equivalent to func(a) || func(b). Arguments: Is "AGAINST if Murphy sucks, else PRESENT" one vote, or a conditional branch of two votes?

Re: DIS: Re: BUS: They Delved Too Deep

2011-06-22 Thread Kerim Aydin
On Wed, 22 Jun 2011, Pavitra wrote: > On 06/22/2011 05:53 PM, omd wrote: > > On Wed, Jun 22, 2011 at 5:48 PM, Kerim Aydin wrote: > >> The contestmaster's decision on these awards is final. Making these awards > >> ends any ongoing Expedition. The Contestmaster CANNOT award emself Pitons. > >>

Re: DIS: Re: BUS: They Delved Too Deep

2011-06-22 Thread Pavitra
On 06/22/2011 05:53 PM, omd wrote: > On Wed, Jun 22, 2011 at 5:48 PM, Kerim Aydin wrote: >> The contestmaster's decision on these awards is final. Making these awards >> ends any ongoing Expedition. The Contestmaster CANNOT award emself Pitons. >> If no Delves occurred during a Delving Period, t

DIS: Re: BUS: They Delved Too Deep

2011-06-22 Thread omd
On Wed, Jun 22, 2011 at 5:48 PM, Kerim Aydin wrote: > The contestmaster's decision on these awards is final.  Making these awards > ends any ongoing Expedition.  The Contestmaster CANNOT award emself Pitons. > If no Delves occurred during a Delving Period, the Contestmaster CAN instead > announce