TR-PRINT-ETREE* is a wff operation.
Print out the etree below the current topnode, showing expansion
variables, skolem terms, selection terms, and rewrite justifications. For
all other nodes, show the shallow formula at that node.
Branches with *'s denote nodes that are being omitted for lack of space. The
cure for this is to either start printing from a node lower in the tree, or
make the screen wider, or use SHOWNOTYPES. See also PTREE
The calling scheme for TR-PRINT-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