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 | Mara -> parent of Nia. |
| 2 | assert_fact | Oren has Nia as a parent. |
| 3 | assert_fact | Quin, parented by Oren. |
| 4 | assert_rule | if X parent Y then X ancestor Y. |
| 5 | assert_rule | if X ancestor Y and Y ancestor Z then X ancestor Z. |
| 6 | query | Mara ancestor of Quin? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| nia_oren_parent | parent(nia, oren). | success | 1 | |
| oren_quin_parent | parent(oren, quin). | success | 1 | |
| mara_quin_ancestor | ancestor(mara, quin). | success | 1 |