mortal(X) :- man(X).
man(socrates).