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