(U-00024C08): Use '->denotational' instead `->subsumptive'.