4.2. Given the following predicates and their associated meaning:

Child(x,y): represents y is the child of x.

Male(x): represents x is a male.

Female(x):represents x is a female.

Spouse(x,y): x is a spouse of y

Sibling (x,y): x is a sibling of y

Please write the following predicates based on the above-given predicates:

Grandchild (x,y), Greatgrandparent(x,y), Ancestor(x,y), Brother(x,y), Sister(x,y)

Daughter(x,y), Son(x,y), FirstCousin(x,y), BrotherInLaw(x,y), SisterInLaw(x,y), Aunt(x,y), Uncle(x,y)