Skip to content

Consolidation of derivation rules on Section B.3.4

PDR8 and PDR9 could be combined in one as below:

  • PDR8 from "If two relationships p(a,b):S and q(b,c):T exist, with S being Flow and T being a structural relationship, then a relation r(a,c):S might be derivable." to "If two relationships p(a,b):S and q(b,c):T exist, with S being Flow and T being a structural relationship, then a relation r(a,c):S, with the same direction as p, might be derivable."
  • remove PDR9

Examples:

image

image