Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Whenever an already stated “SAME_AS” target itself also becomes inactive - whether at the same release or later - the combinatorial logic of associations should be:

Code Block
languagetext
themeEclipse
titleCombinatorial logiccollapsetrue
(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)

...