Couldn't resist checking out how Computer Science GRE looks like.
Q. Suppose that P(x,y) means "x is a parent of y" and M(x) means "x is male". If F(v,w) equals
M(v)^ЭxЭy(P(x,y)^P(x,v)^(y≠v)^P(y,w))
what is the meaning of the expression F(v,w)
(A) v is a brother of w
(B) v is a nephew of w
(C) v is an uncle of w
(D) v is a grandfather of w
(E) v is a male cousin of w
Now I think English was easier than that!