Back to Main Menu 2. After the Goal has been set, play progresses in a clockwise direction. By their moves, the players shape the Solution. Back to Main Menu 3. For the Defendant a Solution is a set of premises from which the negation of the Goal can be deduced.
Comments Click here to access the Rules of Inference.
Since several Resources may be the same, it is possible to have a DUTY in Forbidden which must not be used in the Solution at the same time that there is a DUTY in Essential which must be used. That each Resource in Essential must be used in an essential manner means that it cannot be so that a premise in which that Resource is used can be deleted from the set of premises offered as a Solution and the Goal still be deduced from the remaining premises without that deleted premise. Since several Resources may be the same, it is possible to have a DUTY in Forbidden which must not be used in the Solution at the same time that there is a DUTY in Essential which must be used. Back to Main Menu 4. The prior mover did not flub.