(if predicate consequent alternative)
(cond clause1 clause2 ...)
where a clause is (predicate consequent ...) or (else consequent ...)
(and e1 e2 ...)
(or e1 e2 ...)
