The formula x ((S(x,m) H(c,x)) (H(x,m) B(c,x)))
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?
- "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'.
Back to Question.