Socrates is mortal

This is a simple example where one can demonstrate a classical example of inference.

All men are mortal:

mortal(man) -> bool
[:] (_) -> true

Socrates is a man, and therefore is mortal:

socrates: man

mortal([:] socrates) = [:] true