PRT-PRIM : EDOP

PRT-PRIM is an editor command.
Prints primitive substitutions for the head variables of a wff.
 
The command format for PRT-PRIM is:

<Ed>PRT-PRIM <<GWFF>>
<<GWFF>>

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage