Skip to content

Commit

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

0 comments on commit d0137dc

Please sign in to comment.