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