Generated 2026-04-13 00:48:05 UTC | Back to ladder index | Back to docs
No run report found yet for this scenario.
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Mara is Nia's parent. |
| 2 | assert_fact | Oren has Nia as a parent. |
| 3 | assert_fact | Pax has Nia as a parent. |
| 4 | assert_fact | Quin is parented by Oren. |
| 5 | assert_fact | Rae is parented by Pax. |
| 6 | assert_rule | If X is a parent of Y then X is an ancestor of Y. |
| 7 | assert_rule | If X is an ancestor of Y and Y is an ancestor of Z then X is an ancestor of Z. |
| 8 | retract | Actually retract this if it appears reversed: parent(quin, oren). |
| 9 | retract | Actually retract this if it appears reversed: parent(rae, pax). |
| 10 | query | Is Mara an ancestor of Rae? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| nia_oren_parent | parent(nia, oren). | success | 1 | |
| nia_pax_parent | parent(nia, pax). | success | 1 | |
| mara_rae_ancestor | ancestor(mara, rae). | success | 1 | |
| quin_oren_absent | parent(quin, oren). | no_results | 0 |