Is this an accurate paraphrase of the sentence "No one has more than three grandmothers" into the predicate calculus?
Where G(x,y) is a propositional function meaning "x is the grandmother of y," and the domain for all variable consists of the set of all people.
I figured I would write the negation of the statement "Someone has more than three grandmothers," i.e.,
and then just move the ~ in until I got the above universal quantification. But is there a simpler way to express the proposition?