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