PRIM-SINGLE : MATEOP

PRIM-SINGLE is a mating-search command.
Applies a single primsub. These can be generated by using
the NAME-PRIM command. The command PRIM-SINGLE destructively alters
the etree and creates a new jform, and is basically equivalent to
SUB-ETREE followed by DP* and CJFORM. The variable must be specified
in full detail, with both superscript and type, as in the vpform
(e.g. "r^1(ob(ob))").
 
The command format for PRIM-SINGLE is:

<Mate>PRIM-SINGLE SUBST VAR <<ETREE>>
"GWFF" "GWFF" <<GWFF>>

TPS documentation homepage


PRIM-SINGLE : WFFOP

PRIM-SINGLE is a wff operation.
Applies a single primsub. These can be generated by using
the NAME-PRIM command. The command PRIM-SINGLE destructively alters
the etree and creates a new jform, and is basically equivalent to
SUB-ETREE followed by DP* and CJFORM. The variable must be specified
in full detail, with both superscript and type, as in the vpform
(e.g. "r^1(ob(ob))").
 
The calling scheme for PRIM-SINGLE is:

(PRIM-SINGLE SUBST VAR ETREE)
"GWFF" "GWFF" "GWFF"


The result is of type GWFF.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage