well if we have a tuple an ancestor, an ancestor and a descendant, and that descendant is the parent of a another person, then the a and the ancestor, together with the child from the parent of, is also an ancestor relationship.