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