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 | Moe is a parent of Noa. |
| 2 | assert_fact | Noa is a parent of Pia. |
| 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 | assert_fact | scratch that middle link please: parent(noa, pia). |
| 6 | assert_fact | Ria has Noa as a parent. |
| 7 | assert_fact | Pia is parented by Ria. |
| 8 | query | Is Moe an ancestor of Pia now? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| noa_pia_removed | parent(noa, pia). | no_results | 0 | |
| noa_ria_parent | parent(noa, ria). | success | 1 | |
| ria_pia_parent | parent(ria, pia). | success | 1 | |
| moe_pia_ancestor | ancestor(moe, pia). | success | 1 |