mortal(X) :- man(Y).