Use existential and universal quantifiers to express the following statements

(a) “No one has more than three grandmothers” using the propositional function G(x, y), which represents “x is the grandmother of y.”