Generated 2026-04-13 00:48:05 UTC | Back to ladder index | Back to docs
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Iris is Nia's parent. |
| 2 | assert_fact | Omar has Nia as a parent. |
| 3 | assert_fact | {'utterance': 'she maybe parnt of Pax too same mom as first line', 'clarification_answers': ['She means Iris. Iris is a parent of Pax.'], 'max_clarification_rounds': 2} |
| 4 | assert_fact | Qin is parented by Pax. |
| 5 | assert_rule | If X is a parent of Y then X is an ancestor of Y. |
| 6 | assert_rule | If X is an ancestor of Y and Y is an ancestor of Z then X is an ancestor of Z. |
| 7 | assert_fact | is iris ancestor of qin |
| 8 | retract | if parser got weird and made nia parent iris retract parent(nia, iris). |
| 9 | assert_fact | and dont let she become a literal parent atom either |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| iris_nia_parent | parent(iris, nia). | success | 1 | |
| nia_omar_parent | parent(nia, omar). | success | 1 | |
| iris_pax_parent | parent(iris, pax). | success | 1 | |
| pax_qin_parent | parent(pax, qin). | success | 1 | |
| iris_qin_ancestor | ancestor(iris, qin). | success | 1 | |
| nia_iris_absent | parent(nia, iris). | no_results | 0 | |
| she_pax_absent | parent(she, pax). | no_results | 0 |