UNARR : EDOPUNARR 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