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