P × 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-inlaw of S. T + S means T is daughter of S. T ÷ S means T is son of S.