subsumption test