...
(A) REPLACED_BY (B) and (B) SAME_AS (C) implies (A) REPLACED_BY (C)
(A) REPLACED_BY (B) and (B) REPLACED_BY (C) implies (A) REPLACED_BY (C)
(AIntEd) REPLACED_BY (BIntEd) and (BIntEd) MOVED_TO (CNRC) implies (AIntEd) MOVED_TO (CNRC)
(AIntEd) REPLACED_BY (BIntEd) and (CNRC) MOVED_FROM (BIntEd) implies (AIntEd) REPLACED_BY (CNRC)
(A) REPLACED_BY (B) and (B) POSSIBLY_EQUIVALENT_TO (C, D) implies (A) POSSIBLY_EQUIVALENT_TO (C, D)
(A) REPLACED_BY (B) and (B) WAS_A (C AND D) implies (A) WAS_A (C AND D)
Examples from historical data
...