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