(U-0002094E): Use `->denotational' and `->subsumptive'.