Used in computing weight-b in MS91 search procedures. Should be

a nonnegative integer or the symbol INFINITY, and will be the amount

of penalty given for each duplicate copy of a quantifier which is not

used by a primitive substitution. See WEIGHT-B-FN.

PENALTY-FOR-ORDINARY-DUP takes values of type INTEGER+-OR-INFINITY.

It belongs to subjects MS91-7 MS91-6 .

Its default value is INFINITY

Its current value is INFINITY.

© 1988-99, Carnegie Mellon University.