The search algorithm will be executed as many times as necessary, so that all positive examples are covered, i.e., the set of positive examples is the empty set.
hence we are convinced that it is admissible to investigate the possibility of generalizing this information using a classification algorithm.