Skip to content

Commit

Permalink
adding abc2
Browse files Browse the repository at this point in the history
  • Loading branch information
phochste committed Nov 19, 2024
1 parent 8bb37bc commit e7bd851
Showing 1 changed file with 29 additions and 0 deletions.
29 changes: 29 additions & 0 deletions test/pure/abc2.n3s
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
@prefix : <urn:example:> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

() log:onNegativeSurface {
:A a :Test .
() log:onNegativeSurface {
:C a :Test .
} .
} .

() log:onNegativeSurface {
:B a :Test .
:C a :Test .
} .

() log:onNegativeSurface {
() log:onNegativeSurface {
:A a :Test .
() log:onNegativeSurface {
:B a :Test .
} .
() log:onNegativeSurface {
:C a :Test .
} .
} .
() log:onNegativeAnswerSurface {
:test :is true .
} .
} .

0 comments on commit e7bd851

Please sign in to comment.