predecessor Deductions replacing entity is subclass of predecessor ⇐ (replaced entity is subclass of predecessor), (replaced entity is opposite of replacing entity)