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