Skip to content

Commit

Permalink
adding water3 example
Browse files Browse the repository at this point in the history
  • Loading branch information
josd committed Oct 4, 2024
1 parent 97cc03f commit 81b1849
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion test/pure/water.n3s
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
# water is an inorganic compound
:water a :InorganicCompound.

# water is a solid or a liquid or a gas
# water is solid or liquid or gas
(_:A) log:onNegativeSurface {
_:A a :InorganicCompound.
() log:onNegativeSurface {
Expand Down
4 changes: 2 additions & 2 deletions test/pure/water2.trig
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
# water is an inorganic compound
:water a :InorganicCompound.

# water is a solid or a liquid or a gas
# water is solid or liquid or gas
(_:A) log:onNegativeSurface _:bng_1.

_:bng_1 {
Expand Down Expand Up @@ -72,4 +72,4 @@ _:bng_9 {

_:bng_10 {
:test :is true.
}
}

0 comments on commit 81b1849

Please sign in to comment.