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