Quick sidenote: an unintended effect of the current Note rules is that
despite writing this judgement almost immediately, I delayed sending it
by a day so as to ensure I got a judgement Note for this week.
On Sun, 2009-04-26 at 13:40 -0700, Ed Murphy wrote:
> ============================== CFJ 2465 ==============================
>
> If two players satisfy the Winning Condition of High Score, and
> exactly one of them has a Rest, the score of the player with the
> Rest is set to 0.
>
> ========================================================================
> Caller's Arguments:
>
> I believe so, as the Cleanup Procedure for the Winning Condition of High
> Score reads {All those players have eir scores set to 0.}. {Those
> players} refers, I believe, to all players satisfying the Winning
> Condition of High Score, and not all players winning the game. As such,
> if a player satisfies a Losing Condition when a player wins the game due
> to High Score, eir points will be set to 0.
>
> ========================================================================
I judge this trivially TRUE.
{{{
Each Winning Condition should (if needed) specify a cleanup
procedure to prevent an arbitrary number of wins arising from
essentially the same conditions. When one or more persons win
the game, for each Winning Condition satisfied by at least one
of those persons, its cleanup procedure occurs.
}}}
The Winning Condition in question has been satisfied by someone who wins
(regardless of other context involved); so the cleanup happens; so all
the players with product score over 2500 have their scores zeroed.
--
ais523
