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