DEFWFFTEST : UTILITY

DEFWFFTEST 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
through props.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage