MATE-FFPAIR : FLAGMATE-FFPAIR is a flag or parameter.
Controls whether to consider a pair of literals with flexible
heads as a potential connection. The MS controller will locally modify
it under certain conditions; in particular, it will always be set locally
to T in the following cases, among others:
a) for first-order problems (when FIRST-ORDER-MODE-MS is T).
b) when a mating is removed because it is incompatible with the etree.
c) when using the interactive command ADD-CONN.
MATE-FFPAIR takes values of type BOOLEAN.
It belongs to subjects MS91-6 MS89 MS88 MATING-SEARCH .
Its default value is NIL
Its current value is NIL.
TPS documentation homepage