Before revision: grandparent_child(X, Y) ) :- auxiliary(X, Z), auxiliary(Z, Y).
After revision: grandparent_child(X, Y ) :- auxiliary(X, Z), auxiliary(Z, Y).