D(?.abc) {0}_I {0,1} {0,2} {0,3}_A
a {0,1} {0,1} {0,1} {0,1}
b {0} {0,2} {0} {0}
c {0} {0} {0,3} {0}