Label subsumption expands preconditions.