It would be nice if the examples were explained, such as "If X is a parent of Y, then we know that X is also an ancestor of Y".