descend(X,Y):-descend(Z,Y),Child(X,Z)
descend(X,Y):-Child(X,Y)