PR95 : INFOPR95 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 1, as in PR89.
At depth N>1, we have (N-1) quantifiers ranging over a formula
with between MIN-PRIM-LITS and MAX-PRIM-LITS literals, with
all combinations of connectives between them.
TPS documentation homepage