DEFWFFTEST : UTILITYDEFWFFTEST is an utility.
DEFWFFTEST expands to a DEFWFFOP, where certain attributes are
given defaults. Its intended use is for predicates on wffs.
(DEFWFFTEST tps-object &rest props)
will set RESULTTYPE to BOOLEAN, ARGTYPES to (GWFF-ILL) and ARGNAMES to
(GWFF). Additional properties may be defined and defaults overridden
TPS documentation homepage