PR97 : INFOPR97 is a flag setting or other piece of information.
A flag setting for PRIMSUB-METHOD.
For all integers from MIN-PRIM-DEPTH to MAX-PRIM-DEPTH:
At depth N>0, we have (N-1) quantifiers ranging over each
subformula taken from the etree which contains between
MIN-PRIM-LITS and MAX-PRIM-LITS literals. You can see these
subformulas by doing NAME-PRIM from the MATE top level. (Note:
both the instantiated and uninstantiated versions of each
definition are used.)
TPS documentation homepage