DISPLAY-ETREE : WFFOPDISPLAY-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