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