?- on(X,Y),on(Y,Z).