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