Next: , Previous: nq, Up: Predicate Rules


6.3.7 Prenex