Clauses
A clause has the form
expr comp_op expr
where comp_op is a comparison operator. A clause can be enclosed in parentheses without affecting its interpretation, as in the following examples:
(e.age < 50)
((j.salary*12) >= 20000)
A clause returns the truth value true, false or unknown.