(C6-215D): Use `<-denotational' for U-00020AD7; use `->subsumptive'.