Socrates is mortal

This is a simple classical example demonstrating inference.

All men are mortal:

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

Socrates is a man, and therefore is mortal:

socrates: man

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