Next: , Up: Predicate Rules


6.3.1 Universal Generalization