Define the rule for the following relationships:

manc(X,Y): X is a male ancestor of Y.

Question: Draw the search tree that Prolog will create for the query manc(bill, jim) using your definition above.