Page History

(A) ALTERNATIVE (B) and (B) SAME_AS (C) implies (A) ALTERNATIVE (C)

(A) ALTERNATIVE (B) and (B) REPLACED_BY (C) implies (A) REPLACED_BY (C)

(AIntEdA^IntEd) ALTERNATIVE (BIntEdB^IntEd) and (BIntEdB^IntEd) MOVED_TO (CNRCC^NRC) implies (AIntEdA^IntEd) MOVED_TO (CNRCC^NRC)

(A) ALTERNATIVE (B) and (B) POSSIBLY_EQUIVALENT_TO (C, D) implies (A) ALTERNATIVE (C, D)

(A) ALTERNATIVE (B) and (B) WAS_A (C AND D) implies (A) WAS_A (C AND D)