ARR* 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:

<Ed>ARR* <<GWFF>>

The result replaces the current wff.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage