PR97C : INFOPR97C is a flag setting or other piece of information.
A flag setting for PRIMSUB-METHOD.
Using the connectives AND and OR, and the quantifiers EXISTS and
FORALL (ranging over variables of types PRIM-BDTYPES), and also using
any abbreviations or equalities that occur in the gwff to be proven,
primsubs are built up using the bounds given by MIN- and MAX-PRIM-LITS
and MIN- and MAX-PRIM-DEPTH. See also PR97C-PRENEX and PR97C-MAX-ABBREVS.
TPS documentation homepage