(U-000200ED): Use `->denotational' and `->subsumptive'.