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