UNAPPLY-RRULE-ANY* : WFFOPUNAPPLY-RRULE-ANY* is a wff operation.
Unapply one active rewrite rule to the current edwff (i.e.
apply it in the reverse direction); attempt different active rules in
the order in which they are listed by LIST-RRULES until one works.
Repeat this until no more rules are applicable. If any current rules
are bidirectional, you will be prompted about which direction to
apply them in. CAUTION: may not terminate.
The calling scheme for UNAPPLY-RRULE-ANY* is:
The result is of type GWFF.
The arguments have the following meaning:
GWFF : gwff after rewriting
TPS documentation homepage