A conditional expression has the form
Conditionalexpression ::=
IF Condition
THEN Expression
ELSE
Expression
with the usual interpretation.
A condition is made up of arithmetic comparisons connected by Boolean operators OR and AND, of which AND is the more tightly binding. The permitted arithmetic comparisons are less than, less than or equal to, equal to, greater than or equal to, greater than, and not equal to. The syntax rules are
Condition ::=
Condition
OR
Subcondition
Subcondition
Subcondition ::=
Subcondition
AND
Comparison
Comparison
Comparison ::=
Simpleexpression
Comparator
Simpleexpression
Comparator ::=
<
<=
=
>=
>
<>
The Boolean operators have their usual meanings, the OR being inclusive. Conditions are evaluated from left to right only as far as is necessary to determine their truth or falsity.