QUERY-OB : WFFOP

QUERY-OB is a wff operation.
Output a list of literals which can be mated with a given literal.
 
The calling scheme for QUERY-OB is:

(QUERY-OB LITERAL OBLIGATION)
"LEAFTYPE" "SYMBOL-OR-INTEGER"


The result is of type MATINGSTREE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage