(U-00021D0B): Use `->denotational' and `->subsumptive'; use