(U-00024C1E): Use `->denotational' and `->subsumptive'.