getting proof explanations for blogic

VERSION

@@ -1 +1 @@
-0.6.0
+0.6.1

lingua/output/ackermann.trig

@@ -93,7 +93,7 @@
 (5 0) :ackermann 65533 .
 _:gn_1 {
     () log:equalTo ().
-    _:truelog:callWithCut true.
+    _:true log:callWithCut true.
     (var:Y 1) math:sum var:A.
 }
 _:gn_2 {
@@ -109,23 +109,23 @@ _:gn_4 {
 }
 _:gn_5 {
     () log:equalTo ().
-    _:truelog:callWithCut true.
+    _:true log:callWithCut true.
     (var:Y var:Z) math:sum var:A.
 }
 _:gn_6 {
     (1 var:Y var:Z) :ackermann var:A.
 }
 _:gn_7 {
     () log:equalTo ().
-    _:truelog:callWithCut true.
+    _:true log:callWithCut true.
     (var:Y var:Z) math:product var:A.
 }
 _:gn_8 {
     (2 var:Y var:Z) :ackermann var:A.
 }
 _:gn_9 {
     () log:equalTo ().
-    _:truelog:callWithCut true.
+    _:true log:callWithCut true.
 }
 _:gn_10 {
     (var:X 0 var:Z) :ackermann 1.

lingua/output/beetle.trig

@@ -1,3 +1,51 @@
+@prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
+@prefix var: <http://www.w3.org/2000/10/swap/var#>.
 @prefix : <https://eyereasoner.github.io/see-lingua/lingua/beetle.trig#>.
 
+_:rl_12976060 lingua:premise _:gn_1.
+_:rl_12976060 lingua:conclusion _:gn_2.
+_:rl_12976060 lingua:bindings ((var:node_2_1 :beetle)).
+_:rl_1850074 lingua:premise _:gn_1.
+_:rl_1850074 lingua:conclusion _:gn_3.
+_:rl_1850074 lingua:bindings ((var:node_2_1 :beetle)).
+_:rl_3586113 lingua:premise _:gn_1.
+_:rl_3586113 lingua:conclusion _:gn_4.
+_:rl_3586113 lingua:bindings ((var:node_2_1 :beetle)).
+_:rl_9331763 lingua:question _:gn_5.
+_:rl_9331763 lingua:answer _:gn_5.
+_:rl_9331763 lingua:bindings ((var:node_13_1 :beetle) (var:node_15_1 :beautiful)).
 :beetle :is :beautiful.
+_:rl_7283810 lingua:premise true.
+_:rl_7283810 lingua:conclusion _:gn_6.
+_:rl_7283810 lingua:bindings ().
+_:gn_9 {
+    var:node_2_1 :is :green.
+}
+_:gn_10 {
+    var:node_2_1 :is :blue.
+}
+_:gn_3 {
+    var:node_2_1 :is :beautiful.
+}
+_:gn_1 {
+    var:node_2_1 a :Car.
+}
+_:gn_2 {
+    () lingua:onNegativeSurface _:gn_7.
+}
+_:gn_4 {
+    () lingua:onNegativeSurface _:gn_8.
+}
+_:gn_5 {
+    var:node_13_1 :is var:node_15_1.
+}
+_:gn_6 {
+    :beetle :is :beautiful.
+}
+_:gn_7 {
+    () lingua:onNegativeSurface _:gn_9.
+    () lingua:onNegativeSurface _:gn_10.
+}
+_:gn_8 {
+    () lingua:onNegativeSurface _:gn_3.
+}

lingua/output/blogic.trig

@@ -1,5 +1,89 @@
+@prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
+@prefix var: <http://www.w3.org/2000/10/swap/var#>.
 @prefix : <https://eyereasoner.github.io/see-lingua/lingua/blogic.trig#>.
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
 
+_:rl_15496116 lingua:premise _:gn_1.
+_:rl_15496116 lingua:conclusion _:gn_2.
+_:rl_15496116 lingua:bindings ((var:node_2_1 :Man) (var:node_4_1 :Human) (var:node_6_1 :Socrates)).
+_:rl_15496116 lingua:bindings ((var:node_2_1 :Human) (var:node_4_1 :Mortal) (var:node_6_1 :Socrates)).
+_:rl_1168433 lingua:premise _:gn_3.
+_:rl_1168433 lingua:conclusion _:gn_4.
+_:rl_1168433 lingua:bindings ((var:node_2_1 :Man) (var:node_4_1 :Human) (var:node_6_1 _:sk_18)).
+_:rl_1168433 lingua:bindings ((var:node_2_1 :Human) (var:node_4_1 :Mortal) (var:node_6_1 _:sk_19)).
+_:rl_5122824 lingua:question _:gn_5.
+_:rl_5122824 lingua:answer _:gn_5.
+_:rl_5122824 lingua:bindings ((var:node_6_1 :Socrates) (var:node_11_1 :Man)).
 :Socrates a :Man.
+_:rl_5122824 lingua:bindings ((var:node_6_1 :Socrates) (var:node_11_1 :Human)).
 :Socrates a :Human.
+_:rl_5122824 lingua:bindings ((var:node_6_1 :Socrates) (var:node_11_1 :Mortal)).
 :Socrates a :Mortal.
+_:rl_268598 lingua:premise _:gn_6.
+_:rl_268598 lingua:conclusion _:gn_7.
+_:rl_268598 lingua:bindings ((var:some18 :Socrates)).
+_:rl_15438215 lingua:premise _:gn_8.
+_:rl_15438215 lingua:conclusion _:gn_9.
+_:rl_15438215 lingua:bindings ((var:some19 :Socrates)).
+_:rl_15322818 lingua:premise _:gn_6.
+_:rl_15322818 lingua:conclusion _:gn_10.
+_:rl_15322818 lingua:bindings ((var:some18 :Socrates)).
+_:rl_3380434 lingua:premise _:gn_8.
+_:rl_3380434 lingua:conclusion _:gn_11.
+_:rl_3380434 lingua:bindings ((var:some19 :Socrates)).
+_:rl_13199473 lingua:premise true.
+_:rl_13199473 lingua:conclusion _:gn_12.
+_:rl_13199473 lingua:bindings ().
+_:rl_4476983 lingua:premise true.
+_:rl_4476983 lingua:conclusion _:gn_13.
+_:rl_4476983 lingua:bindings ().
+_:gn_2 {
+    var:node_6_1 a var:node_4_1.
+}
+_:gn_7 {
+    var:some18 a :Human.
+}
+_:gn_9 {
+    var:some19 a :Mortal.
+}
+_:gn_1 {
+    var:node_2_1 rdfs:subClassOf var:node_4_1.
+    var:node_6_1 a var:node_2_1.
+}
+_:gn_3 {
+    var:node_2_1 rdfs:subClassOf var:node_4_1.
+}
+_:gn_4 {
+    (var:node_6_1) lingua:onNegativeSurface _:gn_14.
+}
+_:gn_5 {
+    var:node_6_1 a var:node_11_1.
+}
+_:gn_6 {
+    var:some18 a :Man.
+}
+_:gn_8 {
+    var:some19 a :Human.
+}
+_:gn_10 {
+    () lingua:onNegativeSurface _:gn_15.
+}
+_:gn_11 {
+    () lingua:onNegativeSurface _:gn_16.
+}
+_:gn_12 {
+    :Socrates a :Human.
+}
+_:gn_13 {
+    :Socrates a :Mortal.
+}
+_:gn_14 {
+    var:node_6_1 a var:node_2_1.
+    () lingua:onNegativeSurface _:gn_2.
+}
+_:gn_15 {
+    () lingua:onNegativeSurface _:gn_7.
+}
+_:gn_16 {
+    () lingua:onNegativeSurface _:gn_9.
+}