Not Co-Existence implicit?

Consider the following log skeleton:

Question: Is there a Not Co-Existence between A and E?

Yes, there is. As E has D as Precedence, “if E, then also D”. As D has A as a Not Co-Existence, “if D, then not A”. Hence, “if E, then D, and not A”. The following log skeleton shows all implicit Not Co-Existence relations as well:

Leave a Reply