Correct Answer.


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?
Back to Question.
Next Question.