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 | Jordan is a parent of Pat. |
| 2 | assert_fact | Pat is a parent of Riley. |
| 3 | assert_rule | If X is a parent of Y then X is an ancestor of Y. |
| 4 | assert_rule | If X is an ancestor of Y and Y is an ancestor of Z then X is an ancestor of Z. |
| 5 | retract | I'm pretty sure this edge is wrong, so please undo exactly this fact: parent(pat, riley). |
| 6 | assert_fact | Pat is a parent of Taylor. |
| 7 | assert_fact | Taylor is a parent of Riley. |
| 8 | query | Could you tell me whether Jordan is an ancestor of Riley now? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| old_pat_riley_removed | parent(pat, riley). | no_results | 0 | |
| new_path_exists | ancestor(jordan, riley). | success | 1 | |
| new_mid_edge_exists | parent(pat, taylor). | success | 1 |