PR93 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, a single quantifier is introduced, as in PR89.
At depth N>1, we have (N-1) quantifiers ranging over a formula
containing (N-1) conjunctions {disjunctions} of (N-2)
disjunctions {conjunctions}.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage