Given relation string: A + B # C - D
Legend (operators & meanings):
• P + Q → P is the mother of Q (P is female parent of Q).
• P # Q → P is the father of Q (P is male parent of Q).
• P - Q → P is the brother of Q (P and Q are siblings; P is male).
• P * Q → P is the sister of Q (not used here).
Parse left to right:
1) A + B → A is the mother of B. (A is female, and parent of B.)
2) B # C → B is the father of C. (B is male, and parent of C.)
• From (1) and (2): A is mother of B, and B is father of C → A is a grandparent of C (specifically, B’s mother → C’s paternal grandmother).
3) C - D → C is the brother of D. (C and D are siblings; C is male.)
• Siblings share parents. Since B is the father of C, B is also the father of D. Therefore, A (mother of B) is a grandparent of D as well—specifically, D’s paternal grandmother.
Conclusion: A is D’s Grandmother.