MS98-DUP-BELOW-PRIMSUBS is a flag or parameter.
When T, duplicate the quantifiers which occur below
a primitive substitution NUM-OF-DUPS times. When NIL, don't.
MS98-DUP-BELOW-PRIMSUBS takes values of type BOOLEAN.
It belongs to subjects MS98-MINOR .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage