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