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 | Mira is a parent of Niko. |
| 2 | assert_fact | Niko is a parent of Oona. |
| 3 | assert_rule | If X is a parent of Y then X is an ancestor of Y, and if X is an ancestor of Y and Y is an ancestor of Z then X is an ancestor of Z. |
| 4 | other | Translate this to Italian: deterministic parsing beats lucky guessing. |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| mira_to_niko_base | ancestor(mira, niko). | success | 1 | |
| mira_to_oona_transitive | ancestor(mira, oona). | success | 1 |