An edge is considered overspecified if the hypothesis for the objects that satisfy the next descriptor does not add additional information, i.e., the set-intersection it corresponds to does not remove any possible objects from the referent set.
the model will prefer hypotheses for the next descriptor that narrow down the hypothesized set of referents.