CONST : INFO

CONST is a flag setting or other piece of information.
A setting for DNEG-IMITATION.
Forbid double negations to be used as imitation terms for dpairs
of the form (f . ~G), where G is a constant, but allows them otherwise.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage