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