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 | Uma is a parent of Vera. |
| 2 | assert_fact | Vera is a parent of Wynn. |
| 3 | assert_fact | Wynn is a parent of Xena. |
| 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 | Actually retract these: parent(vera, wynn) and parent(wynn, xena). |
| 7 | assert_fact | Vera is a parent of Wren. |
| 8 | assert_fact | Wren is a parent of Xena. |
| 9 | other | Summarize this: deterministic mutation should stay explicit. |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| legacy_edge_1_removed | parent(vera, wynn). | no_results | 0 | |
| legacy_edge_2_removed | parent(wynn, xena). | no_results | 0 | |
| new_route_recovers_lineage | ancestor(uma, xena). | success | 1 |