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