rung_18_robustness_easy_inversion_retract

Ontology: rung_18_easy_inversion_retract

Scenario file: D:\_PROJECTS\prethinker\kb_scenarios\rung_18_robustness_easy_inversion_retract.json

Generated 2026-04-13 00:48:06 UTC | Back to ladder index | Back to docs

Latest Run Summary

No run report found yet for this scenario.

Utterance Plan

#Expected RouteUtterance
1assert_factQuinn is approved.
2assert_factQuinn is flagged.
3assert_ruleIf X is approved and X is flagged then blocked(X).
4queryIs Quinn blocked?
5retractActually, that flag entry was wrong; retract flagged(quinn).
6queryIs Quinn blocked now?

Validation Contract

IDQueryExpectMin RowsMax Rows
flag_retractedflagged(quinn).no_results0
blocked_cleared_after_retractblocked(quinn).no_results0