refreshing

eyereasoner · Dec 4, 2024 · 4e8e5e1 · 4e8e5e1
1 parent 729c193
commit 4e8e5e1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/reasoning/deontic/example1.n3s b/reasoning/deontic/example1.n3s
@@ -100,11 +100,11 @@
 
 # K axiom
 (_:Proposition1 _:Proposition2 _:World) log:onNegativeSurface {
+    _:Proposition1 :implies _:Proposition2.
+    _:Proposition1 :isObligatoryIn _:World.
     () log:onNegativeSurface {
         _:Proposition2 :isObligatoryIn _:World.
     }.
-    _:Proposition1 :implies _:Proposition2.
-    _:Proposition1 :isObligatoryIn _:World.
 }.
 
 # query