P x Q means P is a father of Q. Q + P means Q is daughter of R R - T means R is sister of T. It is clear that P is husband of R. If he establish that T is either son or daughter of S, then P would be son-in- law of S. T + S means T is daughter of S. T S means T is son of S.