Skip to content

Consolidation of derivation rules on Section B.2.3

DR3 and DR4 could be combined in one as below:

  • DR3 from "If two relationships p(a,b):S and q(b,c):T exist, with S being a structural relationship and T being a dependency 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 dependency relationship, then a relationship r(a,c):T, with the same direction as q, can be derived"
  • remove DR4