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