Definition 2. General rule: Given two rules R1: X1 → Y1 and R2: X2 → Y2, R1 is a general rule if and only if X1 ⊆ X2 ◇