...
Code Block | ||||
---|---|---|---|---|
| ||||
(A) SAME_AS (B) and (B) SAME_AS (C) implies (A) SAME_AS (C) (A) SAME_AS (B) and (B) REPLACED_BY (C) implies (A) REPLACED_BY (C) (AIntEd) SAME_AS (BIntEd) and (BIntEd) MOVED_TO (CNRC) implies (AIntEd) MOVED_TO (CNRC) (A) SAME_AS (B) and (B) POSSIBLY_EQUIVALENT_TO (C OR D) implies (A) POSSIBLY_EQUIVALENT_TO (C OR D) (A) SAME_AS (B) and (B) WAS_A (C AND D) implies (A) WAS_A (C AND D) |
...