ancestor(pat, jan).
ancestor(jan, emma).
ancestor(pat, emma).