Generated 2026-04-13 00:48:05 UTC | Back to ladder index | Back to docs
Status: passed
Validation: 3/3 passed
Parser failures: 0 | Apply failures: 0
Artifacts: raw run json | rendered run transcript
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Ava is Ben's parent. |
| 2 | assert_fact | Ben is parented by Cy. |
| 3 | assert_rule | If X is a parent of Y then X is an ancestor of Y. |
| 4 | assert_rule | If X is an ancestor of Y and Y is an ancestor of Z then X is an ancestor of Z. |
| 5 | retract | {'utterance': 'wait maybe remove that ben->cy link not sure i said it right', 'clarification_answers': ['Retract parent(ben, cy).', 'Yes, remove only parent(ben, cy).'], 'max_clarification_rounds': 2} |
| 6 | assert_fact | Dia has Ben as a parent. |
| 7 | assert_fact | is ava ancestor of dia |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| ben_cy_removed | parent(ben, cy). | no_results | 0 | |
| ben_dia_parent | parent(ben, dia). | success | 1 | |
| ava_dia_ancestor | ancestor(ava, dia). | success | 1 |