Inductive generalisation