(U-000220EC): Use `->denotational' instead of `->subsumptive'.