If X has a father Z and this Z has ancestors Y then X has anchestors Y. >Y] <- X[father->Z] AND Z[ancestor->>Y]. ]]>