2.1.3 Predicates

      PRED-ITEMS ::= pred-items PRED-ITEM+
      PRED-ITEM  ::= PRED-DECL | PRED-DEFN
      PRED-NAME  ::= ID

A list PRED-ITEMS of predicate declarations and definitions is written:

preds PI₁; ... PI_n;