(U-000206A3): Use `->denotational' and `->subsumptive'.