Second, the clusters that we obtain are based on a subset of the full collection of synsets that does the heavy lifting.
formally, we say that a synonym n in synset s is over n is over-represented in C if knowing that n appears in a unit increases the likelihood that the unit is in C, relative to knowing only that some member of n's synset appears in the unit and relative to knowing nothing.