inductive_generalization