renaming reasoning to color: condition logic reasoning

README.md

@@ -57,7 +57,7 @@ $ eye --nope --quiet --pass socrates.n3
 ## Tutorial and example scripts
 
 - [Eye command line arguments and flags](https://github.com/eyereasoner/eye/tree/master/documentation/command_line.md)
-- [EYE reasoning examples](https://github.com/eyereasoner/eye/tree/master/reasoning)
+- [EYE reasoning examples](https://github.com/eyereasoner/eye/tree/master/color)
 - [Notation3 by example](https://github.com/eyereasoner/Notation3-By-Example)
 - [RDF Surfaces aka BLOGIC](https://github.com/eyereasoner/eye/tree/master/documentation/blogic.md)
 - [Running EYE using Docker](https://github.com/eyereasoner/eye/tree/master/documentation/docker.md)

color/3outof5/answer.n3

@@ -0,0 +1,3 @@
+@prefix : <https://eyereasoner.github.io/eye/color#>.
+
+:s a :3outof5.

reasoning/3outof5/proof.n3 → color/3outof5/proof.n3

@@ -1,6 +1,6 @@
 @prefix skolem: <https://eyereasoner.github.io/.well-known/genid/8b98b360-9a70-4845-b52c-c675af60ad01#>.
 @prefix r: <http://www.w3.org/2000/10/swap/reason#>.
-@prefix : <https://eyereasoner.github.io/eye/reasoning#>.
+@prefix : <https://eyereasoner.github.io/eye/color#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix n3: <http://www.w3.org/2004/06/rei#>.
@@ -182,23 +182,23 @@ skolem:lemma6 a r:Extraction;
             :s a :3outof5.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/3outof5/query.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/3outof5/query.n3>].
 
 skolem:lemma7 a r:Extraction;
     r:gives {
         :s :p1 true.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/3outof5/sample.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/3outof5/sample.n3>].
 
 skolem:lemma8 a r:Extraction;
     r:gives {
         :s :p3 true.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/3outof5/sample.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/3outof5/sample.n3>].
 
 skolem:lemma9 a r:Extraction;
     r:gives {
         :s :p4 true.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/3outof5/sample.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/3outof5/sample.n3>].
 

reasoning/3outof5/query.n3 → color/3outof5/query.n3

@@ -1,6 +1,6 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
-@prefix : <https://eyereasoner.github.io/eye/reasoning#>.
+@prefix : <https://eyereasoner.github.io/eye/color#>.
 
 {
     true log:callWithOptional {:s :p1 true. ?C1 log:equalTo 1}, {?C1 log:equalTo 0}.

reasoning/3outof5/sample.n3 → color/3outof5/sample.n3

@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/eye/reasoning#>.
+@prefix : <https://eyereasoner.github.io/eye/color#>.
 
 :s :p1 true.
 #:s :p2 true.

color/3outof5/test

@@ -0,0 +1,3 @@
+#!/bin/bash
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/3outof5/sample.n3 --query https://eyereasoner.github.io/eye/color/3outof5/query.n3 --output answer.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. https://eyereasoner.github.io/eye/color/3outof5/sample.n3 --query https://eyereasoner.github.io/eye/color/3outof5/query.n3 --output proof.n3

reasoning/4color/4color_answer.n3 → color/4color/4color_answer.n3

@@ -1,3 +1,3 @@
-@prefix : <https://eyereasoner.github.io/eye/reasoning/4color#>.
+@prefix : <https://eyereasoner.github.io/eye/color/4color#>.
 
 :mapEU :color ((:Belgium :yellow) (:Netherlands :green) (:Luxemburg :green) (:France :blue) (:Germany :red) (:Italy :red) (:Denmark :green) (:Ireland :red) (:Greece :red) (:Spain :green) (:Portugal :red) (:Austria :yellow) (:Sweden :green) (:Finland :red) (:Cyprus :red) (:Malta :red) (:Poland :blue) (:Hungary :blue) (:Czech_Republic :green) (:Slovakia :red) (:Slovenia :green) (:Estonia :red) (:Latvia :green) (:Lithuania :red) (:Bulgaria :green) (:Romania :red) (:Croatia :red)).

reasoning/4color/4color_data.n3 → color/4color/4color_data.n3

@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/eye/reasoning/4color#>.
+@prefix : <https://eyereasoner.github.io/eye/color/4color#>.
 
 # map of European Union
 :Belgium :neighbours (:France :Netherlands :Luxemburg :Germany).

reasoning/4color/4color_query.n3 → color/4color/4color_query.n3

@@ -1,6 +1,6 @@
 @prefix func: <http://www.w3.org/2007/rif-builtin-function#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix : <https://eyereasoner.github.io/eye/reasoning/4color#>.
+@prefix : <https://eyereasoner.github.io/eye/color/4color#>.
 
 {
     :mapEU :color ?PLACES.

reasoning/4color/4color_rules.n3 → color/4color/4color_rules.n3

@@ -1,6 +1,6 @@
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix : <https://eyereasoner.github.io/eye/reasoning/4color#>.
+@prefix : <https://eyereasoner.github.io/eye/color/4color#>.
 
 { ?MAP :color ?PLACES } <= {
     ((?PLACE ?X) { ?PLACE :neighbours ?Y } ?PLACES) log:collectAllIn ?SCOPE.

color/4color/test

@@ -0,0 +1,3 @@
+#!/bin/bash
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/4color/4color_data.n3 https://eyereasoner.github.io/eye/color/4color/4color_rules.n3 --query https://eyereasoner.github.io/eye/color/4color/4color_query.n3 --output 4color_answer.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. https://eyereasoner.github.io/eye/color/4color/4color_data.n3 https://eyereasoner.github.io/eye/color/4color/4color_rules.n3 --query https://eyereasoner.github.io/eye/color/4color/4color_query.n3 --output 4color_proof.n3

color/README

@@ -0,0 +1 @@
+See https://eyereasoner.github.io/eye/#eye-color

reasoning/ackermann/ackermann-proof.n3 → color/ackermann/ackermann-proof.n3

@@ -266,7 +266,7 @@ skolem:lemma13 a r:Extraction;
             (5 0) :ackermann var:x_10.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann-query2.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/ackermann/ackermann-query2.n3>].
 
 skolem:lemma14 a r:Inference;
     r:gives {
@@ -291,7 +291,7 @@ skolem:lemma15 a r:Extraction;
             (var:x_3 3) math:difference var:x_4.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/ackermann/ackermann.n3>].
 
 skolem:lemma16 a r:Inference;
     r:gives {
@@ -462,7 +462,7 @@ skolem:lemma26 a r:Extraction;
             (var:x_0 1) math:sum var:x_1.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/ackermann/ackermann.n3>].
 
 skolem:lemma27 a r:Extraction;
     r:gives {
@@ -473,7 +473,7 @@ skolem:lemma27 a r:Extraction;
             (var:x_0 var:x_1) math:sum var:x_2.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/ackermann/ackermann.n3>].
 
 skolem:lemma28 a r:Extraction;
     r:gives {
@@ -484,7 +484,7 @@ skolem:lemma28 a r:Extraction;
             (var:x_0 var:x_1) math:product var:x_2.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/ackermann/ackermann.n3>].
 
 skolem:lemma29 a r:Inference;
     r:gives {
@@ -529,7 +529,7 @@ skolem:lemma31 a r:Extraction;
             (var:x_5 var:x_4 var:x_3) :ackermann var:x_6.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/ackermann/ackermann.n3>].
 
 skolem:lemma32 a r:Inference;
     r:gives {
@@ -925,7 +925,7 @@ skolem:lemma56 a r:Extraction;
             true log:callWithCut true.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/ackermann/ackermann.n3>].
 
 skolem:lemma57 a r:Inference;
     r:gives {

color/ackermann/test

@@ -0,0 +1,3 @@
+#!/bin/bash
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/ackermann/ackermann.n3 --query https://eyereasoner.github.io/eye/color/ackermann/ackermann-query.n3 --output ackermann-answer.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. https://eyereasoner.github.io/eye/color/ackermann/ackermann.n3 --query https://eyereasoner.github.io/eye/color/ackermann/ackermann-query2.n3 --output ackermann-proof.n3

reasoning/acp/acp-proof.n3 → color/acp/acp-proof.n3

@@ -31,7 +31,7 @@ skolem:lemma2 a r:Extraction;
     r:gives {
         :PolicyX a :Policy.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/acp/acp.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/acp/acp.n3>].
 
 skolem:lemma3 a r:Inference;
     r:gives {
@@ -44,11 +44,11 @@ skolem:lemma3 a r:Inference;
             :PolicyX :allOf _:sk_0.
         } {
             :test1 :has _:sk_0.
-        }) log:forAllIn ((<https://eyereasoner.github.io/eye/reasoning/acp/acp.n3>) 1)}]
+        }) log:forAllIn ((<https://eyereasoner.github.io/eye/color/acp/acp.n3>) 1)}]
     );
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://example.org/#test1"]];
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://example.org/#PolicyX"]];
-    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo ((<https://eyereasoner.github.io/eye/reasoning/acp/acp.n3>) 1)];
+    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo ((<https://eyereasoner.github.io/eye/color/acp/acp.n3>) 1)];
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_0"]];
     r:rule skolem:lemma8.
 
@@ -62,13 +62,13 @@ skolem:lemma4 a r:Inference;
         [ a r:Fact; r:gives {(_:sk_0 {
             :PolicyX :anyOf _:sk_0.
             :test1 :has _:sk_0.
-        } (:C)) log:collectAllIn ((<https://eyereasoner.github.io/eye/reasoning/acp/acp.n3>) 1)}]
+        } (:C)) log:collectAllIn ((<https://eyereasoner.github.io/eye/color/acp/acp.n3>) 1)}]
         [ a r:Fact; r:gives {(:C) list:length 1}]
         [ a r:Fact; r:gives {1 log:notEqualTo 0}]
     );
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://example.org/#test1"]];
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://example.org/#PolicyX"]];
-    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo ((<https://eyereasoner.github.io/eye/reasoning/acp/acp.n3>) 1)];
+    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo ((<https://eyereasoner.github.io/eye/color/acp/acp.n3>) 1)];
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_0"]];
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo (:C)];
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_5"]; r:boundTo 1];
@@ -84,13 +84,13 @@ skolem:lemma5 a r:Inference;
         [ a r:Fact; r:gives {(_:sk_0 {
             :PolicyX :noneOf _:sk_0.
             :test1 :has _:sk_0.
-        } ()) log:collectAllIn ((<https://eyereasoner.github.io/eye/reasoning/acp/acp.n3>) 1)}]
+        } ()) log:collectAllIn ((<https://eyereasoner.github.io/eye/color/acp/acp.n3>) 1)}]
         [ a r:Fact; r:gives {() list:length 0}]
         [ a r:Fact; r:gives {0 log:equalTo 0}]
     );
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://example.org/#test1"]];
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://example.org/#PolicyX"]];
-    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo ((<https://eyereasoner.github.io/eye/reasoning/acp/acp.n3>) 1)];
+    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo ((<https://eyereasoner.github.io/eye/color/acp/acp.n3>) 1)];
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_0"]];
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo ()];
     r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_5"]; r:boundTo 0];
@@ -108,13 +108,13 @@ skolem:lemma6 a r:Extraction;
             :test :is true.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/acp/acp.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/acp/acp.n3>].
 
 skolem:lemma7 a r:Extraction;
     r:gives {
         :test1 :policy :PolicyX.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/acp/acp.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/acp/acp.n3>].
 
 skolem:lemma8 a r:Extraction;
     r:gives {
@@ -130,7 +130,7 @@ skolem:lemma8 a r:Extraction;
             }) log:forAllIn var:x_3.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/acp/acp.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/acp/acp.n3>].
 
 skolem:lemma9 a r:Extraction;
     r:gives {
@@ -147,7 +147,7 @@ skolem:lemma9 a r:Extraction;
             var:x_5 log:notEqualTo 0.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/acp/acp.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/acp/acp.n3>].
 
 skolem:lemma10 a r:Extraction;
     r:gives {
@@ -164,5 +164,5 @@ skolem:lemma10 a r:Extraction;
             var:x_5 log:equalTo 0.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/acp/acp.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/acp/acp.n3>].
 

color/acp/test

@@ -0,0 +1,3 @@
+#!/bin/bash
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/acp/acp.n3 --output acp-answer.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. https://eyereasoner.github.io/eye/color/acp/acp.n3 --output acp-proof.n3

color/age/test

@@ -0,0 +1,2 @@
+#!/bin/bash
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope --no-bnode-relabeling https://eyereasoner.github.io/eye/color/age/age.n3 --output age-answer.n3

reasoning/backward/backward-proof.n3 → color/backward/backward-proof.n3

@@ -39,7 +39,7 @@ skolem:lemma3 a r:Extraction;
             5 :moreInterestingThan 3.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/backward/backward.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/backward/backward.n3>].
 
 skolem:lemma4 a r:Extraction;
     r:gives {
@@ -49,5 +49,5 @@ skolem:lemma4 a r:Extraction;
             var:x_0 math:greaterThan var:x_1.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/backward/backward.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/backward/backward.n3>].
 

color/backward/test

@@ -0,0 +1,3 @@
+#!/bin/bash
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/backward/backward.n3 --output backward-answer.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. https://eyereasoner.github.io/eye/color/backward/backward.n3 --output backward-proof.n3

color/bcrule/test

@@ -0,0 +1,11 @@
+#!/bin/bash
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/bcrule/example1.n3 --pass --output example1-pass.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/bcrule/example2.n3 --pass --output example2-pass.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/bcrule/example3.n3 --pass --output example3-pass.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/bcrule/example4.n3 --pass --output example4-pass.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/bcrule/example5.n3 --pass --output example5-pass.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/bcrule/example1.n3 --pass-only-new --output example1-pass-only-new.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/bcrule/example2.n3 --pass-only-new --output example2-pass-only-new.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/bcrule/example3.n3 --pass-only-new --output example3-pass-only-new.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/bcrule/example4.n3 --pass-only-new --output example4-pass-only-new.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/bcrule/example5.n3 --pass-only-new --output example5-pass-only-new.n3