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 | Rhea is a mentor of Soren. |
| 2 | assert_fact | Soren is an advisor of Talia. |
| 3 | assert_rule | If X is a mentor of Y then X is a guide of Y. |
| 4 | assert_rule | If X is an advisor of Y then X is a guide of Y. |
| 5 | assert_rule | If X is a guide of Y and Y is a guide of Z then X is a guide of Z. |
| 6 | retract | Actually, retract that: advisor(soren, talia). |
| 7 | assert_fact | Soren is a mentor of Talia. |
| 8 | other | Format this sentence as YAML: provenance matters. |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| rhea_guides_talia_via_mentor_chain | guide(rhea, talia). | success | 1 | |
| advisor_relation_retracted | advisor(soren, talia). | no_results | 0 | |
| mentor_relation_kept | mentor(soren, talia). | success | 1 |