◇ If the body of a rule R1 is identical to the body of a rule R2 and the head of rule R1 is inconsistent with that of rule R2, then an overlapping rule R3 between two different PPI types can be identified.