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 | Gina mentors Harper. |
| 2 | assert_fact | Harper supervises Ivan. |
| 3 | assert_rule | If X mentors Y then guides(X, Y). |
| 4 | assert_rule | If X supervises Y then guides(X, Y). |
| 5 | assert_rule | If X guides Y and Y guides Z then guides(X, Z). |
| 6 | assert_fact | I'm pretty sure Ivan has Harper as a supervisor. |
| 7 | retract | Actually remove the opposite-direction supervisor edge if it exists: supervises(ivan, harper). |
| 8 | query | Does Gina guide Ivan? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| harper_ivan_supervises_exists | supervises(harper, ivan). | success | 1 | |
| ivan_harper_supervises_absent | supervises(ivan, harper). | no_results | 0 | |
| gina_guides_ivan | guides(gina, ivan). | success | 1 |