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 | Ava is approved, Ben is approved, and Ben is flagged. |
| 2 | assert_rule | If X is approved and X is flagged then blocked(X). |
| 3 | retract | Actually, retract that: flagged(ben). |
| 4 | query | Is Ben blocked? |
| 5 | assert_fact | Ava is flagged. |
| 6 | query | Is Ava blocked? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| ben_not_blocked_after_flag_retract | blocked(ben). | no_results | 0 | |
| ava_blocked_after_flag_assert | blocked(ava). | success | 1 |