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