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