For simplification we write a causal chain with OR A.property: E.A || E.B <-- B.property: E.A || E.B This is often do assuming that the chain maintain consistency in the OR property. We need to allow disambiguition here in a clear way.
For simplification we write a causal chain with OR
A.property: E.A || E.B <-- B.property: E.A || E.B
This is often do assuming that the chain maintain consistency in the OR property.
We need to allow disambiguition here in a clear way.