PTREE* : MATEOPPTREE* is a mating-search command.
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
PTREE* is a printing command.
TPS documentation homepage