SELECTION : FLAVOR

SELECTION is a flavor.
A SELECTION label stands for a selection node in a (non-skolem)
expansion tree

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage