disjoint and overlapping generalization - Search