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 | Noel is a parent of Opal, Noel is a parent of Pax, and Opal is a parent of Quin. |
| 2 | 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. |
| 3 | retract | Actually, retract that: parent(noel, opal). |
| 4 | assert_fact | Noel is a parent of Rhea, and Rhea is a parent of Quin. |
| 5 | query | Who is an ancestor of Quin? |
| 6 | other | Summarize the branch change in one sentence. |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| noel_opal_removed | parent(noel, opal). | no_results | 0 | |
| noel_pax_preserved | parent(noel, pax). | success | 1 | |
| noel_quin_restored_via_rhea | ancestor(noel, quin). | success | 1 |