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