1.6 Consider the following alternative definition of the ancestor relation: ancestor(X, Z) :- parent(X, Z). ancestor( X, Z) :- parent( Y, Z), ancestor(X, Y). Does this also seem to be a correct definition of ancestors? Can you modify the diagram of Figure 1.7 so that it would correspond to this new definition?