PR97B : INFO

PR97B is a flag setting or other piece of information.
A flag setting for PRIMSUB-METHOD.
The substitutions from PR97A and PR95 are interleaved. The order
is determined firstly by the number of literals, then by the number of
quantifiers, and lastly with PR97 substs taking precedence over PR95.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage