Generated 2026-04-13 00:48:05 UTC | Back to ladder index | Back to docs
Status: passed
Validation: 6/6 passed
Parser failures: 0 | Apply failures: 0
Artifacts: raw run json | rendered run transcript
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Rina is Omar's parent. |
| 2 | assert_fact | {'utterance': 'uh she also maybe parnt of pia, same person as above', 'clarification_answers': ['She means Rina. Rina is a parent of Pia.'], 'max_clarification_rounds': 2} |
| 3 | assert_fact | Tess is parented by Pia. |
| 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 | assert_fact | real quick is rina ancestor of tess rn |
| 7 | retract | and if that got flipped anywhere, retract parent(tess, pia). |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| rina_omar_parent | parent(rina, omar). | success | 1 | |
| rina_pia_parent | parent(rina, pia). | success | 1 | |
| pia_tess_parent | parent(pia, tess). | success | 1 | |
| rina_tess_ancestor | ancestor(rina, tess). | success | 1 | |
| she_pia_absent | parent(she, pia). | no_results | 0 | |
| tess_pia_absent | parent(tess, pia). | no_results | 0 |