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 Jace, Jace is a parent of Kira, and Kira is a parent of Lio. |
| 2 | assert_rule | If X is a parent of Y then X is an ancestor of Y, and if X is an ancestor of Y and Y is an ancestor of Z then X is an ancestor of Z. |
| 3 | retract | Actually retract these: parent(jace, kira) and parent(kira, lio). |
| 4 | assert_fact | Jace is a parent of Mira, and Mira is a parent of Lio. |
| 5 | query | Is Iris an ancestor of Lio? |
| 6 | other | Explain briefly why that worked. |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| jace_kira_removed | parent(jace, kira). | no_results | 0 | |
| kira_lio_removed | parent(kira, lio). | no_results | 0 | |
| iris_lio_restored_via_mira | ancestor(iris, lio). | success | 1 |