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