UNARR* is an editor command.
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 command format for UNARR* is:


The result replaces the current wff.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage