BREAK-AT-QUANTIFIERS : FLAG

BREAK-AT-QUANTIFIERS is a flag or parameter.
Applies only to quantifiers which cannot be duplicated
later in the search. If T, then fragments will be broken so as
not to contain any quantifiers; if NIL, fragments may contain
quantifiers of the sort specified.
BREAK-AT-QUANTIFIERS takes values of type BOOLEAN.
It belongs to subjects MS98-1 .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage