An analysis of refinement operators in inductive logic programming by