NUM-FRPAIRS is a flag or parameter.
The match routine considers at most NUM-FRPAIRS frpairs,
before selecting a frpair. However, if it finds a pair that has at
most 1 substitution, it will automatically select this pair.
Applies to UN90 only.
NUM-FRPAIRS takes values of type INTEGER+.
It belongs to subjects MS93-1 MS92-9 MS91-7 MS90-9 MS90-3 UNIFICATION .
Its default value is 5
Its current value is 5.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage