(U-000245E5): Use `->denotational' and `->subsumptive'.