On 21 April 2011 11:11, Elliott Hird <penguinoftheg...@googlemail.com> wrote:
> On 21 April 2011 10:27, Charles Walker <charles.w.wal...@gmail.com> wrote:
>> Proto:
>>
>> Enact a new Rule entitled "The Machine" with the following text:
>>
>>      There exists an abstract entity called the Machine. The
>>      Machinekeepor is an office, and tracker of the Machine. The
>>      Machine possesses a single switch, the Power Switch, tracked by
>>      the Machinekeepor, with values of On and Off (default).
>>
>>      The Machine possesses a single switch, the Magic switch, tracked
>>      by the Machinekeepor, with values of Magic and More Magic
>>      (default). Whenever the Magic switch is set to Magic, the Power
>>      switch is set to Off immediately and CANNOT be flipped.
>
> So the Machine possesses two single switches?

I thought that, but it's supposed to mean that there is only one of
each switch. This is with R2162 a) in mind, but I suppose that without
the word single it would still be clear enough that the switches are
unique to the machine.

>>      If the Magic switch is set to More Magic, the Machinekeepor CAN
>>      flip the Power switch to On by announcement. The Machinekeepor
>>      CAN flip the Power switch to Off by announcement.
>
> Does the previous paragraph override these properly?

I think so.

-- 
Charles Walker

Reply via email to