Skip to content

Commit

Permalink
refreshing
Browse files Browse the repository at this point in the history
  • Loading branch information
josd committed Sep 28, 2023
1 parent 1c34421 commit 443d804
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions reasoning/refresh/beetle.n3
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,9 @@
(
{
?A :is :red.
}
{
} {
?A :is :green.
}
{
} {
?A :is :blue.
}
) log:or true.
Expand Down

0 comments on commit 443d804

Please sign in to comment.