{1} foal(X) <= parent(X,Y), horse(Y).
{1} foal(X) :- sibling(X,Y), horse(Y).
{1} negFoal(X) <= foal(X).
