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