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