REDUCE-DOUBLE-NEG is a flag or parameter.
If T double negations are eliminated during lambda contraction
at a unification node. This only applies in UN88.
REDUCE-DOUBLE-NEG takes values of type BOOLEAN.
It belongs to subjects UNIFICATION .
Its default value is T
Its current value is T.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage