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 | Aiden is Bella's parent. |
| 2 | assert_fact | Cal has Bella as a parent. |
| 3 | assert_fact | Dana is parented by Cal. |
| 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 | query | Is Aiden an ancestor of Dana? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| aiden_bella_parent | parent(aiden, bella). | success | 1 | |
| bella_cal_parent | parent(bella, cal). | success | 1 | |
| cal_dana_parent | parent(cal, dana). | success | 1 | |
| aiden_dana_ancestor | ancestor(aiden, dana). | success | 1 |