MS88-SUB : MATEOP

MS88-SUB is a mating-search command.
Call MS88 on a partial expansion tree (subtree).
 
The command format for MS88-SUB is:

<Mate>MS88-SUB ETREE
"SYMBOL"

TPS documentation homepage


MS88-SUB : WFFOP

MS88-SUB is a wff operation.
Call MS88 on a partial expansion tree (subtree).
 
The calling scheme for MS88-SUB is:

(MS88-SUB ETREE)
"SYMBOL"


The result is of type IGNORE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage