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