Symbolic relations – express "N is the aunt of M": Rules: A x D ⇒ A is sister of D; A + D ⇒ D is daughter of A; A ÷ D ⇒ A is mother of D. Choose the correct expression for "N is the aunt of M."

Introduction / Context:
We need to encode "N is the aunt of M" using given operators. An aunt is the sister of a parent of M.

Given Data / Assumptions:

• x ⇒ left is sister of right.
• ÷ ⇒ left is mother of right.
• + ⇒ right is daughter of left (not used here).

Concept / Approach:
Aunt(N, M) ⇔ ∃ L such that N is sister of L and L is a (female) parent of M. We can assert L is mother of M with L ÷ M. Then assert N x L (N sister of L). Composition order in the option should reflect both relations.

Step-by-Step Solution:

Verification / Alternative check:
Check each option: "N x L ÷ M" states exactly "N sister of L" and "L mother of M". Others either make the sister someone else or flip mother/child.

Why Other Options Are Wrong:
"L x N ÷ M" makes L the sister of N, still OK for siblings, but the focus is N as aunt; however reading left-to-right, it places L as sister and mother, making L the aunt-like figure of another child, not necessarily fixing N's aunt status in the composed statement as intended by the puzzle's convention. The provided correct option is the standard encoding.

Common Pitfalls:
Forgetting that "÷" binds motherhood (parent) and that aunt requires sister-of-parent.

Final Answer:
N x L ÷ M