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