improving policy example and adding cobbler example

eyereasoner · Oct 7, 2023 · 6c037be · 6c037be
1 parent e0b8ebc
commit 6c037be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/reasoning/sequents/policy.n3 b/reasoning/sequents/policy.n3
@@ -27,7 +27,7 @@ $).
     ?X a vcard:Individual.
     {
         ?X a vcard:Individual.
-    }  => ?Cases.
+    } => ?Cases.
     ?Cases list:member {
         ?X :canChoose :B.
     }.