Conditions

Syntax

Conditions   =   that   Proposition   {   and   Proposition   }   .
 
Proposition   =   [   Label-Identifier   :   ]   Sentence   .
 
Sentence   =   Formula-Expression   .


See also

Home | Index of Syntax Items

Last modified: June 26, 2000