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