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 | Sara is a parent of Pru, Pru is a parent of Quin, and Quin is trusted. |
| 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 | assert_rule | If X is an ancestor of Y and Y is trusted then X is endorsed. |
| 4 | retract | Actually retract these: parent(pru, quin) and trusted(quin). |
| 5 | assert_fact | Pru is a parent of Ria, Ria is a parent of Quin, and Ria is trusted. |
| 6 | query | Is Sara endorsed? |
| 7 | other | Summarize the retarget in one sentence. |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| pru_quin_removed | parent(pru, quin). | no_results | 0 | |
| quin_trusted_removed | trusted(quin). | no_results | 0 | |
| sara_endorsed_via_ria_chain | endorsed(sara). | success | 1 |