Next: , Previous: ui, Up: Predicate Rules


6.3.3 Existential Generalization