Page History

...

(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)
(A^IntEd) REPLACED_BY (B^IntEd) and (B^IntEd) MOVED_TO (C^NRC) implies (A^IntEd) MOVED_TO (C^NRC)
(A^IntEd) REPLACED_BY (B^IntEd) and (C^NRC) MOVED_FROM (B^IntEd) implies (A^IntEd) REPLACED_BY (C^NRC)
(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)