(U-00027F2F): Use `->denotational' and `->subsumptive'.