ARR : EDOP

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.
 
The command format for ARR is:

<Ed>ARR <<GWFF>>
<<GWFF>>


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage