Initialize the local training set T to the training set and let i= 1 a While T contains e tuples Find a literal L to add to the right-hand side of the clause Produce a new training set Ti+ based on those tuples in T; that satisfy Li. If L, intro duces new variables, each such tuple from T; may give rise to several (expanded) In +1. The label of each tuple in Ti+ is the same as that of the parent tuple iples In Increment i and continue can-reachi(X1,22)←