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