(U-000209CF): Use `->denotational' and `->subsumptive'.