E.3 Predicate definition
The general form of a predicate definition is:
predicate comment directive
mode declaration
predicate body