(RUI6-E04F): Add `<-subsumptive' for G-RUI6-E04F.