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