(SW-JIGUGE-46915): Use `->denotational' instead of `->subsumptive'.