(U-0002489D): Use `->denotational' and `->subsumptive'.