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 | Faye is the parent of Glen. |
| 2 | assert_fact | Glen is the parent of Hope. |
| 3 | assert_fact | Hope is the parent of Iris. |
| 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 | query | Before any repair, is Faye an ancestor of Iris? |
| 7 | retract | That center edge needs correction, so retract parent(glen, hope). |
| 8 | assert_fact | Replace it with this: Glen is the parent of Jude. |
| 9 | assert_fact | Jude is the parent of Hope. |
| 10 | query | After that repair, is Faye an ancestor of Iris now? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| old_glen_hope_removed | parent(glen, hope). | no_results | 0 | |
| glen_jude_exists | parent(glen, jude). | success | 1 | |
| faye_iris_ancestor_after_repair | ancestor(faye, iris). | success | 1 |