SELECT : WFFOP

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

(SELECT ETREE)
"ANYTHING"


The result is of type ETREE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage