EXPAND : WFFOP

EXPAND is a wff operation.
EXPAND a given universal or existential quantifier.
 
The calling scheme for EXPAND is:

(EXPAND TERM ETREE)
"GWFF" "ANYTHING"


The result is of type ETREE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage