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