Suppose FOIL's task is to learn the concept grandfather(X,Y) given the relations father(X,Y) and parent(X,Y).
On the next iteration of FOIL after ''parent(X,Z)'' has been added, the algorithm will consider all combinations of predicate names and variables such that at least one variable in the new literal is present in the existing clause.