(RUI6-E016): Use `<-denotational' instead of `<-subsumptive' for