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 | Please add this fact: Aria is the parent of Ben. |
| 2 | assert_fact | Ben is the parent of Cora. |
| 3 | assert_fact | Cora is the parent of Drew. |
| 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 | I need one repair here: retract parent(ben, cora). |
| 7 | assert_fact | Use this link instead: Ben is the parent of Eli. |
| 8 | assert_fact | And Eli is the parent of Cora. |
| 9 | query | Is Aria an ancestor of Drew now? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| old_ben_cora_removed | parent(ben, cora). | no_results | 0 | |
| ben_eli_exists | parent(ben, eli). | success | 1 | |
| aria_drew_ancestor | ancestor(aria, drew). | success | 1 |