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 | Node n1 is online. |
| 2 | assert_rule | If X is online then reachable(X). |
| 3 | assert_fact | Node n1 is offline. |
| 4 | assert_rule | If X is offline then not_reachable(X). |
| 5 | retract | Actually, retract that: offline(n1). |
| 6 | assert_fact | Node n1 has manual_override. |
| 7 | assert_rule | If X has manual_override then reachable(X). |
| 8 | other | Rewrite this sentence with fewer words: deterministic state avoids confusion. |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| n1_reachable_true | reachable(n1). | success | 1 | |
| n1_offline_removed | offline(n1). | no_results | 0 | |
| n1_not_reachable_removed | not_reachable(n1). | no_results | 0 |