PR89 : INFO

PR89 is a flag setting or other piece of information.
A flag setting for PRIMSUB-METHOD.
Only primsubs of the form "exists x . literal" and
"forall x . literal" will be generated.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage