(U-000213BD): Use `->denotational' and `->subsumptive'.