Generated 2026-04-13 00:48:06 UTC | Back to ladder index | Back to docs
No run report found yet for this scenario.
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Iris is a parent of Juno, and Juno is a parent of Kian. |
| 2 | assert_rule | If X is a parent of Y then X is an ancestor of Y. |
| 3 | assert_rule | If X is an ancestor of Y and Y is an ancestor of Z then X is an ancestor of Z. |
| 4 | retract | Actually, retract that: parent(juno, kian). |
| 5 | assert_fact | Juno is a parent of Kira. |
| 6 | assert_fact | Kira is a parent of Lio. |
| 7 | other | Translate this to German: symbolic state must remain auditable. |
| 8 | query | Who is Iris's ancestor? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| iris_to_kian_removed_after_retract | ancestor(iris, kian). | no_results | 0 | |
| iris_to_kira_survives | ancestor(iris, kira). | success | 1 | |
| iris_to_lio_survives | ancestor(iris, lio). | success | 1 |