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