Questions of completeness of a hypothesis search procedure of specific ILP system arise. For example, Progol`s hypothesis search procedure based on the inverse entailment inference rule is not complete by Yamamoto`s example. On the other hand, Imparo is complete by both anti-entailment procedure and its extended inverse subsumption procedure. ==.....