{"_meta":{"battery":"5s","sub_battery":"syntax","version":"v1","task_count":12,"notes":"logic-kernel@v1 parse-pass tests. Each input is a propositional expression that must canonicalize without raising."}}
{"id":"5s-syn-logic-001","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input":"A","expected":"pass"}
{"id":"5s-syn-logic-002","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input":"A AND B","expected":"pass"}
{"id":"5s-syn-logic-003","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input":"A OR B","expected":"pass"}
{"id":"5s-syn-logic-004","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input":"NOT A","expected":"pass"}
{"id":"5s-syn-logic-005","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input":"A IMPL B","expected":"pass"}
{"id":"5s-syn-logic-006","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input":"A IFF B","expected":"pass"}
{"id":"5s-syn-logic-007","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input":"A XOR B","expected":"pass"}
{"id":"5s-syn-logic-008","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input":"(A AND B) OR (C AND D)","expected":"pass"}
{"id":"5s-syn-logic-009","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input":"NOT (A OR (B AND C))","expected":"pass"}
{"id":"5s-syn-logic-010","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input":"TRUE","expected":"pass"}
{"id":"5s-syn-logic-011","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input":"A IMPL (B IMPL C)","expected":"pass"}
{"id":"5s-syn-logic-012","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"logic","domain":"propositional","pi_star_ref":"logic-kernel@v1","input":"A AND B AND C AND D","expected":"pass"}
