-man(x) | mortal(x).
man(socrates).
----
mortal(socrates).