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.
If any current rules are bidirectional, you will be prompted
about which direction to apply them in.
The command format for UNARR is:


The result replaces the current wff.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage