Generated 2026-04-13 00:48:05 UTC | Back to ladder index | Back to docs
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Ava is Bo's parent. |
| 2 | assert_fact | {'utterance': 'uh shes maybe parnt of Cy too same lady as above', 'clarification_answers': ['She means Ava. Ava is a parent of Cy.'], 'max_clarification_rounds': 2} |
| 3 | assert_fact | Di has Cy as a parent. |
| 4 | assert_rule | If X is a parent of Y then X is an ancestor of Y. |
| 5 | assert_rule | If X is an ancestor of Y and Y is an ancestor of Z then X is an ancestor of Z. |
| 6 | assert_fact | is ava ancestor of di |
| 7 | retract | and if noise flipped anything retract parent(cy, ava). |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| ava_bo_parent | parent(ava, bo). | success | 1 | |
| ava_cy_parent | parent(ava, cy). | success | 1 | |
| cy_di_parent | parent(cy, di). | success | 1 | |
| ava_di_ancestor | ancestor(ava, di). | success | 1 | |
| she_cy_absent | parent(she, cy). | no_results | 0 | |
| cy_ava_absent | parent(cy, ava). | no_results | 0 |