Generated 2026-04-13 00:48:06 UTC | Back to ladder index | Back to docs
Status: passed
Validation: 3/3 passed
Parser failures: 0 | Apply failures: 0
Artifacts: raw run json | rendered run transcript
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Liam is a father of Noah. |
| 2 | assert_fact | Noah is a father of Owen. |
| 3 | assert_rule | If X is a father of Y then X is a parent of Y. |
| 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 | Actually, retract that: father(noah, owen). |
| 7 | assert_fact | Noah is a parent of Owen. |
| 8 | other | Translate this to French: ontology alignment matters. |
| 9 | other | Explain this: why alias pressure hurts long runs. |
| 10 | query | Who is Liam's ancestor? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| liam_to_owen_ancestor | ancestor(liam, owen). | success | 1 | |
| noah_parent_owen_exists | parent(noah, owen). | success | 1 | |
| father_retracted | father(noah, owen). | no_results | 0 |