adding lingua explanation

VERSION

@@ -1 +1 @@
-1.0.7
+1.1.0

lingua/output/beetle.trig

@@ -1,3 +1,46 @@
 @prefix : <https://eyereasoner.github.io/see-lingua/lingua/beetle.trig#>.
+@prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 
 :beetle :is :beautiful.
+
+# ------------------
+# lingua explanation
+# ------------------
+
+_:gn_1 lingua:explanation _:gn_2.
+_:gn_1 lingua:explanation _:node_12_1.
+_:gn_1 lingua:explanation _:gn_3.
+true lingua:explanation _:node_12_1.
+
+_:gn_6 {
+    :beetle :is :green.
+}
+
+_:gn_7 {
+    :beetle :is :blue.
+}
+
+_:node_12_1 {
+    :beetle :is :beautiful.
+}
+
+_:gn_1 {
+    :beetle a :Car.
+}
+
+_:gn_2 {
+    () lingua:nand _:gn_4.
+}
+
+_:gn_3 {
+    () lingua:nand _:gn_5.
+}
+
+_:gn_4 {
+    () lingua:nand _:gn_6.
+    () lingua:nand _:gn_7.
+}
+
+_:gn_5 {
+    () lingua:nand _:node_12_1.
+}

lingua/output/beetle6.trig

@@ -1,3 +1,150 @@
 @prefix : <https://eyereasoner.github.io/see-lingua/lingua/beetle6.trig#>.
+@prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 
 :beetle :is :nice.
+
+# ------------------
+# lingua explanation
+# ------------------
+
+_:gn_1 lingua:explanation _:gn_2.
+_:gn_1 lingua:explanation _:gn_3.
+_:gn_3 lingua:explanation _:gn_4.
+_:gn_3 lingua:explanation _:gn_5.
+_:gn_3 lingua:explanation _:gn_6.
+_:gn_1 lingua:explanation _:gn_7.
+_:gn_1 lingua:explanation _:gn_4.
+_:gn_8 lingua:explanation _:gn_9.
+_:gn_10 lingua:explanation _:node_18_1.
+_:gn_11 lingua:explanation _:gn_9.
+_:gn_12 lingua:explanation _:node_18_1.
+_:gn_9 lingua:explanation _:gn_13.
+_:gn_3 lingua:explanation _:gn_7.
+_:gn_4 lingua:explanation _:gn_9.
+_:gn_1 lingua:explanation _:gn_9.
+_:gn_9 lingua:explanation _:node_18_1.
+_:gn_3 lingua:explanation _:gn_9.
+_:gn_4 lingua:explanation _:node_18_1.
+true lingua:explanation _:gn_9.
+true lingua:explanation _:node_18_1.
+_:gn_4 lingua:explanation _:gn_14.
+_:gn_1 lingua:explanation _:gn_14.
+_:gn_9 lingua:explanation _:gn_15.
+_:gn_3 lingua:explanation _:gn_14.
+_:gn_4 lingua:explanation _:gn_15.
+_:gn_7 lingua:explanation _:node_18_1.
+_:gn_3 lingua:explanation _:node_18_1.
+_:gn_7 lingua:explanation _:gn_15.
+_:gn_3 lingua:explanation _:gn_15.
+
+_:gn_9 {
+    :beetle :is :green.
+}
+
+_:node_18_1 {
+    :beetle :is :nice.
+}
+
+_:gn_21 {
+    :beetle :is :pretty.
+}
+
+_:gn_1 {
+    :beetle a :Car.
+}
+
+_:gn_2 {
+    () lingua:nand _:gn_16.
+}
+
+_:gn_3 {
+    () lingua:nand _:gn_17.
+}
+
+_:gn_4 {
+    () lingua:nand _:gn_18.
+}
+
+_:gn_5 {
+    () lingua:nand _:gn_19.
+}
+
+_:gn_6 {
+    () lingua:nand _:gn_20.
+}
+
+_:gn_7 {
+    () lingua:nand _:gn_21.
+}
+
+_:gn_8 {
+    :beetle a :Car.
+    () lingua:nand _:gn_18.
+}
+
+_:gn_10 {
+    :beetle :is :green.
+    () lingua:nand _:gn_21.
+}
+
+_:gn_11 {
+    () lingua:nand _:gn_17.
+    :beetle a :Car.
+}
+
+_:gn_12 {
+    () lingua:nand _:gn_17.
+    :beetle :is :green.
+}
+
+_:gn_13 {
+    () lingua:nand _:gn_22.
+}
+
+_:gn_14 {
+    () lingua:nand _:gn_23.
+}
+
+_:gn_15 {
+    () lingua:nand _:gn_24.
+}
+
+_:gn_16 {
+    () lingua:nand _:gn_9.
+    () lingua:nand _:gn_18.
+}
+
+_:gn_17 {
+    :beetle :is :beautiful.
+}
+
+_:gn_18 {
+    :beetle :is :blue.
+}
+
+_:gn_19 {
+    :beetle a :Car.
+    () lingua:nand _:gn_9.
+}
+
+_:gn_20 {
+    :beetle :is :green.
+    () lingua:nand _:node_18_1.
+}
+
+_:gn_21 {
+    :beetle :is :pretty.
+}
+
+_:gn_22 {
+    () lingua:nand _:node_18_1.
+    () lingua:nand _:gn_21.
+}
+
+_:gn_23 {
+    () lingua:nand _:gn_9.
+}
+
+_:gn_24 {
+    () lingua:nand _:node_18_1.
+}

lingua/output/blogic.trig

@@ -1,3 +1,92 @@
 @prefix : <https://eyereasoner.github.io/see-lingua/lingua/blogic.trig#>.
+@prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
 
 :Socrates a :Mortal.
+
+# ------------------
+# lingua explanation
+# ------------------
+
+_:gn_1 lingua:explanation _:gn_2.
+_:gn_3 lingua:explanation _:node_9_1.
+_:gn_4 lingua:explanation _:gn_5.
+_:gn_6 lingua:explanation _:gn_7.
+_:gn_8 lingua:explanation _:gn_2.
+_:gn_2 lingua:explanation _:node_9_1.
+_:gn_8 lingua:explanation _:gn_9.
+_:gn_2 lingua:explanation _:gn_10.
+true lingua:explanation _:gn_2.
+true lingua:explanation _:node_9_1.
+
+_:gn_15 {
+    _:sk_11 a :Human.
+}
+
+_:gn_16 {
+    _:sk_12 a :Mortal.
+}
+
+_:gn_2 {
+    :Socrates a :Human.
+}
+
+_:node_9_1 {
+    :Socrates a :Mortal.
+}
+
+_:gn_1 {
+    :Man rdfs:subClassOf :Human.
+    :Socrates a :Man.
+}
+
+_:gn_3 {
+    :Human rdfs:subClassOf :Mortal.
+    :Socrates a :Human.
+}
+
+_:gn_4 {
+    :Man rdfs:subClassOf :Human.
+}
+
+_:gn_5 {
+    (_:sk_11) lingua:nand _:gn_11.
+}
+
+_:gn_6 {
+    :Human rdfs:subClassOf :Mortal.
+}
+
+_:gn_7 {
+    (_:sk_12) lingua:nand _:gn_12.
+}
+
+_:gn_8 {
+    :Socrates a :Man.
+}
+
+_:gn_9 {
+    () lingua:nand _:gn_13.
+}
+
+_:gn_10 {
+    () lingua:nand _:gn_14.
+}
+
+_:gn_11 {
+    _:sk_11 a :Man.
+    () lingua:nand _:gn_15.
+}
+
+_:gn_12 {
+    _:sk_12 a :Human.
+    () lingua:nand _:gn_16.
+}
+
+_:gn_13 {
+    () lingua:nand _:gn_2.
+}
+
+_:gn_14 {
+    () lingua:nand _:node_9_1.
+}

lingua/output/complement.trig

@@ -3,6 +3,7 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
 _:gn_1 lingua:implication false.
+
 _:gn_1 {
     var:P log:complement var:C.
     var:S var:P var:O.

lingua/output/derived.trig

@@ -1,3 +1,45 @@
 @prefix : <https://eyereasoner.github.io/see-lingua/lingua/derived.trig#>.
+@prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
+@prefix var: <http://www.w3.org/2000/10/swap/var#>.
 
 :test :is true.
+
+# ------------------
+# lingua explanation
+# ------------------
+
+_:gn_1 lingua:explanation _:gn_2.
+_:gn_3 lingua:explanation _:gn_4.
+_:gn_5 lingua:explanation _:node_4_1.
+
+_:gn_1 {
+    :Alice a :Cat.
+}
+
+_:gn_2 {
+    _:gn_6 lingua:implication _:node_4_1.
+}
+
+_:gn_3 {
+    :Minka a :Cat.
+}
+
+_:gn_4 {
+    _:gn_7 lingua:implication _:node_4_1.
+}
+
+_:gn_5 {
+    :Charly a :Dog.
+}
+
+_:node_4_1 {
+    :test :is true.
+}
+
+_:gn_6 {
+    var:x_2 a :Dog.
+}
+
+_:gn_7 {
+    var:x_3 a :Dog.
+}

lingua/output/edt.trig

@@ -1,3 +1,16 @@
 @prefix edt: <http://eulersharp.sourceforge.net/2009/12dtb/test#>.
+@prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
 edt:i100000 a edt:N10000.
+
+# ------------------
+# lingua explanation
+# ------------------
+
+_:node_1_1 lingua:explanation true.
+
+_:node_1_1 {
+    <https://eyereasoner.github.io/see-lingua/lingua/edt.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/edt/test-facts.ttl>.
+    <https://eyereasoner.github.io/see-lingua/lingua/edt.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/edt/test-dl.ttl>.
+}