(U-0002054B): Use `->denotational' instead of `->subsumptive'.