...
(AIntEd) SAME_AS (BIntEd) and (BIntEd) MOVED_TO (CNRC) implies (AIntEd) MOVED_TO (CNRC)1
(A) SAME_AS (B) and (C) MOVED_FROM (B) implies (C) MOVED_FROM (A) - work in progress(A) SAME_AS (B) and (B) POSSIBLY_EQUIVALENT_TO (C OR D) implies (A) POSSIBLY_EQUIVALENT_TO (C OR D)
...