Next: , Previous: Equivalence Rules, Up: Rules Index


6.3 Predicate Rules