(U-0002F89A): Use `->subsumptive'; add `<-denotational' for J97-4426.