Inventing theoretical terms in inductive learning