(B-ED70): Use `->denotational' instead of `->subsumptive'.