E.3  Predicate definition

The general form of a predicate definition is:

1. predicate comment directive
2. mode declaration
3. predicate body