(U-0002891A): Use `->denotational' instead of `->subsumptive'.