type(socrates, mortal).
is(test, true).