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