Correct Answer.
The formula 
x ((S(x,m) 
H(c,x)) 
(H(x,m) B(c,x)))
- "decompiles" into 'There is some x such that
(either) x is a sister of Monique and Carl is x's husband, or
x is Monique's husband and Carl is x's brother'.
This is indeed saying that Carl is Monique's brother-in-law.
Can you generalize this formula to one with two free variables u and
v, saying that u is v's brother-in-law?
Back to Question.
Next Question.