Generated 2026-04-13 00:48:05 UTC | Back to ladder index | Back to docs
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Alma is Bryn's parent. |
| 2 | assert_fact | {'utterance': 'hes maybe parnt of Clem too i think', 'clarification_answers': ['He means Bryn. Bryn is a parent of Clem.'], 'max_clarification_rounds': 2} |
| 3 | assert_fact | Dax has Clem as a parent. |
| 4 | retract | {'utterance': 'wait no not dax missing comma bad note retract that one and make Dex have Clem as parent', 'clarification_answers': ['Retract parent(clem, dax).', 'Set parent(clem, dex).'], 'max_clarification_rounds': 2} |
| 5 | assert_fact | Set parent(clem, dex). |
| 6 | assert_rule | If X is a parent of Y then X is an ancestor of Y. |
| 7 | assert_rule | If X is an ancestor of Y and Y is an ancestor of Z then X is an ancestor of Z. |
| 8 | assert_fact | is alma ancestor of dex |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| alma_bryn_parent | parent(alma, bryn). | success | 1 | |
| bryn_clem_parent | parent(bryn, clem). | success | 1 | |
| clem_dex_parent | parent(clem, dex). | success | 1 | |
| clem_dax_removed | parent(clem, dax). | no_results | 0 | |
| alma_dex_ancestor | ancestor(alma, dex). | success | 1 | |
| he_clem_absent | parent(he, clem). | no_results | 0 |