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