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