SUB-ETREE : MATEOP

SUB-ETREE is a mating-search command.
Substitute a term for a variable throughout an expansion tree.
Destructively alters the expansion tree.
 
The command format for SUB-ETREE is:

<Mate>SUB-ETREE TERM VAR <<ETREE>>
"GWFF" "GWFF" <<GWFF>>

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage