The use of abstraction in automatic inference