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 | I think Piper is approved. |
| 2 | assert_fact | At least for now, Piper is flagged. |
| 3 | assert_rule | If someone is approved and also flagged, treat them as blocked. |
| 4 | retract | Actually, that flagged detail was wrong, so retract flagged(piper). |
| 5 | assert_fact | Piper is cleared. |
| 6 | assert_rule | If someone is approved and cleared, treat them as admitted. |
| 7 | query | Net net, is Piper admitted now rather than blocked? |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| piper_flag_retracted | flagged(piper). | no_results | 0 | |
| piper_not_blocked | blocked(piper). | no_results | 0 | |
| piper_admitted | admitted(piper). | success | 1 |