MAKE-WFFSCHEMA : WFFOP

MAKE-WFFSCHEMA is a wff operation.
Translate a gwff into a wffschema by replacing proper symbols
by labels of type META-VAR.
 
The calling scheme for MAKE-WFFSCHEMA is:

(MAKE-WFFSCHEMA GWFF)
"GWFF"


The result is of type GWFF.

The arguments have the following meaning:
GWFF : The wff to make into a wffschema.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage