adjusted subsumption