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