NAME-PRIM : EDOP

NAME-PRIM is an editor command.
Creates weak labels for primitive substitutions for the head
variables of a wff.
 
The command format for NAME-PRIM is:

<Ed>NAME-PRIM <<GWFF>>
<<GWFF>>

TPS documentation homepage


NAME-PRIM : MATEOP

NAME-PRIM is a mating-search command.
Lists all possible primitive substitutions for the current
shallow formula. See the flags PRIM-BDTYPES, MIN-PRIM-DEPTH,
MAX-PRIM-DEPTH and PRIM-QUANTIFIER for information on how to change
which substitutions are generated.
 
The command format for NAME-PRIM is:

<Mate>NAME-PRIM <<ETREE>>
<<GWFF>>

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage