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