(U-00024531): Use `->denotational' and `->subsumptive'.