APPLY-RRULE-ANY : WFFOPAPPLY-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