PRED-DECL ::= pred-decl PRED-NAME+ PRED-TYPE
A predicate declaration PRED-DECL is written:
p1, ..., pn : T
 It declares each predicate name p1, ..., pn as a
predicate, with profile as specified by the predicate type T.
PRED-TYPE ::= pred-type SORTS
A predicate type PRED-TYPE with some argument sorts is written:
s1×...×snThe sign displayed as `×' may be input as `×' in ISO Latin-1, or as `*' in ASCII. When the list of argument sorts is empty, the type is written `()'.
The [CHANGED:] predicate  profile determined by the type has argument sorts s1, ..., sn.