Skip to content

Commit

Permalink
refreshing
Browse files Browse the repository at this point in the history
  • Loading branch information
@josd
josd committed Dec 5, 2024
1 parent 4ac4acd commit 70bffa7
Show file tree
Hide file tree
Showing 3 changed files with 50 additions and 245 deletions.
4 changes: 0 additions & 4 deletions reasoning/deontic/example1-answer.n3s
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,4 @@
(log:pos :p2) log:isObligatoryIn :w1.
(log:pos :p1) log:isObligatoryIn :w2.
(log:pos :p2) log:isObligatoryIn :w2.
(log:pos :p1) log:isObligatoryIn :w3.
(log:pos :p2) log:isObligatoryIn :w3.
(log:pos :p4) log:isObligatoryIn :w3.
(log:pos :p3) log:isForbiddenIn :w2.
(log:pos :p3) log:isForbiddenIn :w3.
Loading

0 comments on commit 70bffa7

Please sign in to comment.