P : EDOP

P is an editor command.
Print a wff using the global settings of all flags.
P is a printing command.

TPS documentation homepage


P : MATEOP

P is a mating-search command.
Print the current node
P is a printing command.

TPS documentation homepage


P : UNIFOP

P is an unification command.
Displays the current unification node; show its name,
measure, number of descendants, substitutions added and free
variables. Does not display the disagreement pairs (use PP or
PP* for that), or the cumulative substitutions from this node
to the root (use SUBST-STACK for that).
P is a printing command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage