Inductive generalization with linear search