Next: Predicate Rules, Previous: Inference Rules, Up: Rules Index
Equivalence rules operate on any valid part of the sentence, and work both ways.