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