We introduced a function (we call it f now) on vertices of the corpus lattice: it is essentially the corpus frequency of the VCC represented by the given vertex.
this f shows how many corpus clauses are represented by the given vertex, or how many corpus clauses this VCC fits to.