humano(socrates).
humano(aristoteles).
humano(X) :- ateniense(X).
ateniense(socrates).
