holds_result(socrates, human_witness(socrates)).
holds_result(plato, human_witness(plato)).