Since the two nodes have opposite default values, the default value (D A j ) needs to be used when the rules for the child node (A j ) do not hold.
a new rule, specific to the example A j , needs to be created, for handling all the instances of A j : if A j then R A j ∪ D A j .