precedence Deductions condition is for example precedence ⇐ (precedence is a condition), (is a is inverse of is for example) replacing entity has quality precedence ⇐ (replacing entity is subclass of predecessor), (predecessor has quality precedence)