Generated 2026-04-13 00:48:05 UTC | Back to ladder index | Back to docs
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Use sibling/2, parent/2, uncle/2. |
| 2 | assert_fact | assert rule uncle(U, N) :- sibling(U, P), parent(P, N). |
| 3 | assert_fact | {'utterance': 'blake has will and pierce and his bro scott is their uncle yeah', 'clarification_answers': ['His bro means Scott is sibling of Blake.', 'Set sibling(scott, blake). Set parent(blake, will). Set parent(blake, pierce).'], 'max_clarification_rounds': 2} |
| 4 | assert_fact | Set sibling(scott, blake). Set parent(blake, will). Set parent(blake, pierce). |
| 5 | assert_fact | query uncle(scott, X). |
| 6 | assert_fact | query uncle(scott, will). |
| 7 | assert_fact | query uncle(scott, pierce). |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| uncle_query_two_rows | uncle(scott, X). | success | 2 | |
| scott_uncle_will | uncle(scott, will). | success | 1 | |
| scott_uncle_pierce | uncle(scott, pierce). | success | 1 | |
| inverse_not_true | uncle(blake, scott). | no_results | 0 |