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 | Sol is the parent of Ria. |
| 2 | assert_fact | Ria is the parent of Tao. |
| 3 | assert_fact | Tao is the parent of Uma. |
| 4 | assert_rule | If X is a parent of Y then X is an ancestor of Y. |
| 5 | assert_rule | If X is an ancestor of Y and Y is an ancestor of Z then X is an ancestor of Z. |
| 6 | retract | To be precise, that middle link was off, so retract parent(ria, tao). |
| 7 | assert_fact | Let's correct it this way instead: Vic is the parent of Tao. |
| 8 | assert_fact | And Ria is the parent of Vic. |
| 9 | query | After that repair, does Sol still end up as Uma's ancestor? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| old_middle_link_removed | parent(ria, tao). | no_results | 0 | |
| new_retarget_link | parent(vic, tao). | success | 1 | |
| sol_uma_ancestor_after_repair | ancestor(sol, uma). | success | 1 |