Next: , Previous: eg, Up: Predicate Rules


6.3.4 Existential Instantiation.