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