(U-000229F5): Use `->denotational' and `->subsumptive'.