Generated 2026-04-13 00:48:05 UTC | Back to ladder index | Back to docs
No run report found yet for this scenario.
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Tess has Uma as a parent. |
| 2 | assert_fact | Uma has Vero as a parent. |
| 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 may have rushed that second edge, so undo exactly parent(vero, uma). |
| 6 | query | What I meant is that Uma has Wren as a parent. |
| 7 | assert_fact | And Wren, in turn, is parented by Xena. |
| 8 | retract | After that hedge-heavy correction, is Xena an ancestor of Tess? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| old_vero_uma_removed | parent(vero, uma). | no_results | 0 | |
| wren_uma_parent | parent(wren, uma). | success | 1 | |
| xena_tess_ancestor | ancestor(xena, tess). | success | 1 |