Incorrect Answer.


The formula x y (S(x,j) S(y,j) O(x,y)) Evidently, this is not expressing that John is older than his sisters.

Note that the formula above would make more "sense" if O were interpreted as "likes", in which case the formula would say, 'All of John's sisters like each other'.
Back to Question.