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