is(socrates, human_witness(socrates)).
is(plato, human_witness(plato)).