| Term-Expression = | |
| ( Term-Expression ) | | |
| [ Arguments ] Functor-Symbol [ Arguments ] | | |
| Left-Functor-Bracket Term-Expression-List Right-Functor-Bracket | | |
| Functor-Identifier ( [ Term-Expression-List ] ) | | |
| Structure-Symbol (# Term-Expression-List #) | | |
| Variable-Identifier | | |
| { Term-Expression [ Postqualification ] : Sentence } | | |
| Numeral | | |
| Term-Expression qua Type-Expression | | |
| the Selector-Symbol of Term-Expression | | |
| the Selector-Symbol | | |
| Private-Definition-Parameter | | |
| it . | |
| Arguments = Term-Expression | ( Term-Expression-List ) . | |
| Term-Expression-List = Term-Expression { , Term-Expression } . | |
Last modified: June 26, 2000