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. Repeat this until no more rules
are applicable. CAUTION: may not terminate.
The calling scheme for APPLY-RRULE-ANY* is:


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