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