| Statement = [ then ] Linkable-Statement | Diffuse-Statement . | |
| Linkable-Statement = | |
| Compact-Statement | | |
| Choice-Statement | | |
| Type-Changing-Statement | | |
| Iterative-Equality . | |
| Compact-Statement = Proposition Justification ; . | |
| Choice-Statement = | |
| consider Qualified-Variables [ such Conditions ] Simple-Justification ; . | |
| Type-Changing-Statement = | |
| reconsider Type-Change-List as Type-Expression Simple-Justification ; . | |
| Type-Change-List = | |
| ( Equating | Variable-Identifier ) { , ( Equating | Variable-Identifier ) } . | |
Last modified: June 26, 2000