?- mortal(zeus).
no