QRY : MTREEOP

QRY is a matingstree command.
Output a list of literals which can be mated with a given literal.
 
The command format for QRY is:

<Mtree>QRY LITERAL OBLIGATION
"LEAFTYPE" "SYMBOL-OR-INTEGER"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage