DISPLAY-ETREE-ALL is a wff operation.
Etree Print: print an expansion tree into list form,
printing shallow formulas for all nodes. The format used is
NODE [selection and expansion terms] ; CHILDREN ; SHALLOW FORMULA
The calling scheme for DISPLAY-ETREE-ALL is:


The result is of type IGNORE.

The arguments have the following meaning:
GWFF : Print Wff

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage