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