RULEP-WFFEQ is a flag or parameter.
The wffop used for testing whether two wffs are equal when checking
RULEP and propositional mating search.
RULEP-WFFEQ takes values of type SYMBOL.
It belongs to subjects MS93-1 MS92-9 MS91-7 MS91-6 MS90-9 MS90-3 MS89 MS88 MATING-SEARCH JFORMS .
Its default value is WFFEQ-AB
Its current value is WFFEQ-AB.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage