GWFF-TO-ETREE-SUB : WFFOP

GWFF-TO-ETREE-SUB is a wff operation.
Create an expansion tree from a gwff0.
 
The calling scheme for GWFF-TO-ETREE-SUB is:

(GWFF-TO-ETREE-SUB GWFF SKOLEMIZE DEEPEN)
"GWFF0-OR-LABEL-OR-EPROOF" "YESNO" "YESNO"


The result is of type ETREE.

The arguments have the following meaning:
GWFF : gwff
SKOLEMIZE : Skolemize?
DEEPEN : Deepen?

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage