(U-00020C0E): Use `->denotational' and `->subsumptive'.