EXPAND= : EDOP

EXPAND= is an editor command.
Instantiate outermost equality in gwff. Consults the flag
REWRITE-EQUALITIES (but ignores it if it's set to NONE).
 
The command format for EXPAND= is:

<Ed>EXPAND= <<INWFF>>
<<GWFF>>


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage