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:


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