...
The intention is that this functionality will be seamlessly integrated into the tooling so as to present to the user the appropriate updated historically association to be allocated.
Whenever an already stated “REPLACED_BY” target itself also becomes inactive - whether at the same release or later - the combinatorial logic of associations should be:
REPLACED_BY
(A) REPLACED_BY (B) and (B) SAME_AS (C) implies (A) REPLACED_BY (C)
...
(A) REPLACED_BY (B) and (B) WAS_A (C AND D) implies (A) WAS_A (C AND D)
Whenever an already stated “POSSIBLY_REPLACED_BY” target itself also becomes inactive - whether at the same release or later - the combinatorial logic of associations should be:
POSSIBLY_REPLACED_BY
(A) POSSIBLY_REPLACED_BY (B OR C) and (B) SAME_AS (D) implies (A) POSSIBLY_REPLACED_BY (C OR D)
...