Conventions

The following conventions are used in the predicate descriptions below.