using singleton surfaces

reasoning/deontic/README

@@ -2,4 +2,4 @@
 Deontic logic examples
 ----------------------
 
-Experimenting with deontic logic examples in n3s and using popositions as compound list terms
+Experimenting with deontic logic examples in n3s.

reasoning/deontic/example1-answer.n3s

@@ -1,12 +1,56 @@
-@prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix : <urn:example:>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
-(log:pos :p1) log:isPermittedIn :w1.
-(log:pos :p2) log:isPermittedIn :w1.
-(log:pos :p1) log:isPermittedIn :w2.
-(log:pos :p2) log:isPermittedIn :w2.
-(log:pos :p1) log:isObligatoryIn :w1.
-(log:pos :p2) log:isObligatoryIn :w1.
-(log:pos :p1) log:isObligatoryIn :w2.
-(log:pos :p2) log:isObligatoryIn :w2.
-(log:pos :p3) log:isForbiddenIn :w2.
+{
+    :s1 :p1 :o1.
+} log:isPermittedIn :w1.
+{
+    :s2 :p2 :o2.
+} log:isPermittedIn :w1.
+{
+    () log:onNegativeSurface {
+        :s3 :p3 :o3.
+    }.
+} log:isPermittedIn :w1.
+{
+    () log:onNegativeSurface {
+        :s1 :p1 :o1.
+        () log:onNegativeSurface {
+            :s4 :p4 :o4.
+        }.
+    }.
+} log:isPermittedIn :w1.
+{
+    :s1 :p1 :o1.
+} log:isPermittedIn :w2.
+{
+    :s2 :p2 :o2.
+} log:isPermittedIn :w2.
+{
+    () log:onNegativeSurface {
+        :s3 :p3 :o3.
+    }.
+} log:isPermittedIn :w2.
+{
+    :s1 :p1 :o1.
+} log:isObligatoryIn :w1.
+{
+    :s2 :p2 :o2.
+} log:isObligatoryIn :w1.
+{
+    :s1 :p1 :o1.
+} log:isObligatoryIn :w2.
+{
+    :s2 :p2 :o2.
+} log:isObligatoryIn :w2.
+{
+    () log:onNegativeSurface {
+        :s3 :p3 :o3.
+    }.
+} log:isObligatoryIn :w2.
+{
+    :s4 :p4 :o4.
+} log:isObligatoryIn :w2.
+{
+    :s3 :p3 :o3.
+} log:isForbiddenIn :w2.