From 729c19372aa42da6bcf91a6896abfefec4877ba6 Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Wed, 4 Dec 2024 22:14:43 +0100
Subject: [PATCH] refreshing

---
 reasoning/deontic/example1.n3s | 25 ++++++++-----------------
 1 file changed, 8 insertions(+), 17 deletions(-)

diff --git a/reasoning/deontic/example1.n3s b/reasoning/deontic/example1.n3s
index f0fea17e3..6041e0d87 100644
--- a/reasoning/deontic/example1.n3s
+++ b/reasoning/deontic/example1.n3s
@@ -46,13 +46,15 @@
     _:World a :PossibleWorld.
     _:Proposition a :Proposition.
     (   1
-        {   _:World :hasAccessTo _:AccessibleWorld.
+        {
+            _:World :hasAccessTo _:AccessibleWorld.
             _:Proposition :isTrueIn _:AccessibleWorld.
         }
         _:List
     ) log:collectAllIn _:Scope.
     (   1
-        {   _:World :hasAccessTo _:AccessibleWorld.
+        {
+            _:World :hasAccessTo _:AccessibleWorld.
         }
         _:List
     ) log:collectAllIn _:Scope.
@@ -77,7 +79,8 @@
     _:World a :PossibleWorld.
     _:Proposition a :Proposition.
     (   1
-        {   _:World :hasAccessTo _:AccessibleWorld.
+        {
+            _:World :hasAccessTo _:AccessibleWorld.
             _:Scope log:notIncludes {
                 _:Proposition :isTrueIn _:AccessibleWorld.
             }
@@ -85,7 +88,8 @@
         _:List
     ) log:collectAllIn _:Scope.
     (   1
-        {   _:World :hasAccessTo _:AccessibleWorld.
+        {
+            _:World :hasAccessTo _:AccessibleWorld.
         }
         _:List
     ) log:collectAllIn _:Scope.
@@ -94,19 +98,6 @@
     }.
 }.
 
-# a proposition P is forbidden in world W if P does not hold in any world accessible from W
-(_:Proposition _:World) log:onNegativeSurface {
-    _:World a :PossibleWorld.
-    _:Proposition a :Proposition.
-    (_:AccessibleWorld) log:onNegativeSurface {
-        _:World :hasAccessTo _:AccessibleWorld.
-        _:Proposition :isTrueIn _:AccessibleWorld.
-    }.
-    () log:onNegativeSurface {
-        _:Proposition :isForbiddenIn _:World.
-    }.
-}.
-
 # K axiom
 (_:Proposition1 _:Proposition2 _:World) log:onNegativeSurface {
     () log:onNegativeSurface {