UNAPPLY-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.
If any current rules are bidirectional, you will be prompted
about which direction to apply them in.
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

© 1988-99, Carnegie Mellon University.

TPS homepage