Consolidation of derivation rules on Section B.2.4
DR5 and DR6 could be combined in one as below:
- DR5 from "If two relationships p(a,b):S and q(b,c):T exist, with S being a structural relationship and T being a dynamic relationship, then a relationship r(a,c):T can be derived." to "If two relationships p(a,b):S and q(b,c):T exist, with S being a structural relationship and T being a dynamic relationship, then a relationship r(a,c):T, with the same direction as q, can be derived."
- remove DR6