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