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 | I think I misspoke earlier, but this is the intended relation: Mira is Juno's parent. |
| 2 | assert_fact | Kai has Juno as a parent. |
| 3 | assert_fact | To restate clearly, Lark is parented by Kai. |
| 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 | Maybe remove this if it exists from confusion: parent(lark, kai). |
| 7 | query | Does Mira end up as an ancestor of Lark? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| juno_kai_parent | parent(juno, kai). | success | 1 | |
| kai_lark_parent | parent(kai, lark). | success | 1 | |
| lark_kai_absent | parent(lark, kai). | no_results | 0 | |
| mira_lark_ancestor | ancestor(mira, lark). | success | 1 |