MAKE-WFFSCHEMA : WFFOPMAKE-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:
The result is of type GWFF.
The arguments have the following meaning:
GWFF : The wff to make into a wffschema.
TPS documentation homepage