ETD : MATEOP

ETD is a mating-search command.
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
ETD is a printing command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage