(U-000208F9): Use `->denotational' and `->subsumptive'.