In addition, PDL2 solves the Nixon Diamond
problem with either static priorities given a priori, or
extensionally by using instances of RepublicanQuakers
to inductively learn the two contradicting
defaults, and incrementally discover their relative
priorities.