ARR* : EDOPARR* is an editor command.
Apply one active rewrite rule to the current edwff; 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. Repeat this until no more rules
are applicable. CAUTION: may not terminate.
The command format for ARR* is:
The result replaces the current wff.
TPS documentation homepage