IMITATION-FIRST is a flag or parameter.
Controls whether imitations are considered before projections during
unification procedure UN88. No effect in UN90.
IMITATION-FIRST takes values of type BOOLEAN.
It belongs to subjects UNIFICATION .
Its default value is T
Its current value is T.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage