DEEPEN-ETREE : WFFOP

DEEPEN-ETREE is a wff operation.
Deepen every leaf node of an expansion tree.
 
The calling scheme for DEEPEN-ETREE is:

(DEEPEN-ETREE ETREE)
"ETREE"


The result is of type ETREE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage