DISPLAY-ETREE is a wff operation.
Etree Display: print an expansion tree into list form,
printing shallow formulas for leaf nodes only. The format used is
NODE [selection and expansion terms] ; CHILDREN or SHALLOW FORMULA
The calling scheme for DISPLAY-ETREE 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