(U-0002A347): Use `->denotational' and `->subsumptive'; use