CW-DEEP : WFFOP

CW-DEEP is a wff operation.
Create a weak label from the deep formula of an etree.
 
The calling scheme for CW-DEEP is:

(CW-DEEP LABEL GWFF)
"SYMBOL" "GWFF"


The result is of type GWFF.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage