Next: , Previous: ug, Up: Predicate Rules


6.3.2 Universal Instantiation