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