ETP : MATEOP

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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage