refreshing

eyereasoner · Dec 5, 2024 · c44220b · c44220b
1 parent 5e2e5d6
commit c44220b
Show file tree

Hide file tree

Showing 3 changed files with 97 additions and 227 deletions.
diff --git a/reasoning/deontic/example1-answer.n3s b/reasoning/deontic/example1-answer.n3s
@@ -5,9 +5,6 @@
 (log:pos :p2) log:isPermittedIn :w1.
 (log:pos :p1) log:isPermittedIn :w2.
 (log:pos :p2) log:isPermittedIn :w2.
-(log:pos :p3) log:isPermittedIn :w1.
-(log:pos :p1) log:isPermittedIn :w3.
-(log:pos :p2) log:isPermittedIn :w3.
 (log:pos :p1) log:isObligatoryIn :w1.
 (log:pos :p2) log:isObligatoryIn :w1.
 (log:pos :p1) log:isObligatoryIn :w2.