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 | Lena is active, Mira is active, and Mira is suspended. |
| 2 | assert_rule | If X is active and X is suspended then restricted(X). |
| 3 | assert_fact | Lena is a manager of Niko, and Niko is a manager of Oren. |
| 4 | retract | Actually retract these: suspended(mira) and manager(niko, oren). |
| 5 | assert_fact | Niko is a manager of Pia. |
| 6 | query | Is Mira restricted? |
| 7 | query | Is Niko a manager of Oren? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| mira_no_longer_restricted | restricted(mira). | no_results | 0 | |
| old_manager_edge_removed | manager(niko, oren). | no_results | 0 | |
| niko_pia_added | manager(niko, pia). | success | 1 |