Translating the following nested quantifiers

F(x, y) : x is father of y, M(x,y) : x is mother of y, S(x,y) : x is sister of y, B(x,y) : x is brother of y, H(x, y) : x is spouse (wife/husband) of y, O(x, y) : x is elder than y. 3x((S(x,m) v H(c, x)) v 3x(H(x, m) 10(x, m))). VxVy(S(x, m) 1 S(y,m) + 0(x,y) V O(y,x)) m