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 | Please record this: Mina is Noah's parent. |
| 2 | assert_fact | Likewise, Noah is Opal's parent. |
| 3 | assert_fact | Anyone who is a parent of someone should count as that someone's ancestor. |
| 4 | assert_rule | And if A is an ancestor of B while B is an ancestor of C, then A is an ancestor of C too. |
| 5 | query | So, phrased another way, does Mina wind up as Opal's ancestor? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| mina_noah_parent | parent(mina, noah). | success | 1 | |
| mina_opal_ancestor | ancestor(mina, opal). | success | 1 |