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