On Sat, 21 Feb 2009, Warrigal wrote: > On Sat, Feb 21, 2009 at 7:32 PM, Kerim Aydin <ke...@u.washington.edu> wrote: >> On Sat, 21 Feb 2009, comex wrote: >> The phrase "deregister rather than continue to play" only makes sense >> if "deregister" stops you from playing; deregistration as a process >> is defined elsewhere, but even if that lower-powered definition is >> only "guidance", the common definition of "deregister" isn't "quit" >> (I'm not sure what it is if it doesn't mean to be removed from the >> registration roles). > > "Every player SHALL eat chocolate ice cream. Every player has the > right to eat strawberry ice cream rather than eat chocolate ice > cream." > > I think this means that a player NEED NOT eat chocolate ice cream if > they eat strawberry ice cream instead.
Yes I thought of several such examples myself. The problem is that if you decouple the meanings, you still have to define "deregister", which is not a synonym for "quit", and whose only reference in the rules is "ceasing to be a player" (not "ceasing to play"). -Goethe
