| Reasoning = | |
| { Reasoning-Item } | |
| [ per cases Simple-Justification ; | |
| ( Case-List | Suppose-List ) ] . | |
| Case-List = Case { Case } . | |
| Case = | |
| case ( Proposition | Conditions ) ; | |
| { Reasoning-Item } . | |
| Suppose-List = Suppose { Suppose } . | |
| Suppose = | |
| suppose ( Proposition | Conditions ) ; | |
| { Reasoning-Item } . | |
| Reasoning-Item = Auxiliary-Item | Skeleton-Item . | |
Last modified: June 26, 2000