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