The formula x y (S(x,m) H(c,y) x = y)
Evidently, this is not the sentence we sought to express, for it does not
even guarantee such that x and y exist (let alone that they would help us
in successfully coding "brother-in-law").
- "decompiles" into 'For all x and y, if x is Monique's sister and
Carl is the husband of y, then x and y are the same (person)'.
- More elegantly, we can re-express this as
'Carl is Monique's brother or husband'.
Back to Question.