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. b) a B(c, m) ^ (O(c, m) VO(m, c)). B(c, m) ^ F(a,m) O(a, c) ^ F(a,c). VxVy(S(x, m) ^ B(c, y) + x = y). =