APPLY-RRULE-ANY : WFFOP

APPLY-RRULE-ANY is a wff operation.
Apply one active rewrite rule to the current edwff; attempt
different active rules in the order in which they are listed by
LIST-RRULES until one works. If any current rules are
bidirectional, you will be prompted about which direction to
apply them in.
 
The calling scheme for APPLY-RRULE-ANY is:

(APPLY-RRULE-ANY GWFF)
"GWFF"


The result is of type GWFF.

The arguments have the following meaning:
GWFF : gwff before rewriting

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage