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