PENALTY-FOR-ORDINARY-DUP : FLAG

PENALTY-FOR-ORDINARY-DUP is a flag or parameter.
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.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage