Proposition syntax
A proposition is an expression made up of any text.
Unlike feature syntax, no special recognition is given to the symbols IS, '=', ARE and these may be used freely. However, the following symbols are reserved and must be avoided or surrounded by double quote characters: FACT, AND, '&', IF, THEN, CF, '}', '|', ';', '.'
Propositional syntax is the form used by the conditions and conclusions of Easy-f and Easy-b rules.
Two or more propositions may be connected by AND or '&' to create a complex proposition.
Don't worry about layout. Also, upper and lower case differences do not matter. InterModeller is not case-sensitive.