PICK-LIT : WFFOP

PICK-LIT is a wff operation.
Pick a leaf which you may try to mate with another later.
 
The calling scheme for PICK-LIT is:

(PICK-LIT LITERAL OBLIGATION)
"LEAFTYPE" "SYMBOL-OR-INTEGER"


The result is of type IGNORE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage