7.6 Write axioms describing the predicates Grandchild GreatGrandparent, Brother, Sister, Daughter, Son, Aunt, Uncle, BrotherlnLaw, SisterlnLaw, and FirstCousin. Find out the proper definition of mth cousin n times removed, and write it in first-order logic.

Write down the basic facts depicted in the family tree in Figure 7.4. Using the logical reasoning system in the code repository, TELL it all the sentences you have written down, and ASK it who are Elizabeth's grandchildren, Diana's brothers-in-law, and Zara's great-grandparents.