refreshing

KNowledgeOnWebScale · Mar 19, 2024 · 2045fb4 · 2045fb4
1 parent 63a5cce
commit 2045fb4
Show file tree

Hide file tree

Showing 4 changed files with 20,015 additions and 100,008 deletions.
diff --git a/lingua/blogic.trig b/lingua/blogic.trig
@@ -28,5 +28,5 @@ _:ns2 {
 (_:S) lingua:onQuestionSurface _:qs.
 
 _:qs {
-    _:S a :Socrates.
+    _:S a :Mortal.
 }
diff --git a/lingua/edt.trig b/lingua/edt.trig
@@ -39,5 +39,5 @@ _:nt {
 () lingua:onQuestionSurface _:qs.
 
 _:qs {
-    edt:i100000 a edt:N100000.
+    edt:i80000 a edt:N20000.
 }
diff --git a/lingua/output/blogic.trig b/lingua/output/blogic.trig
@@ -1,17 +1,24 @@
+@prefix : <https://eyereasoner.github.io/see-lingua/lingua/blogic.trig#>.
 @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#>.
 
+:Socrates a :Mortal.
 
 _: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_14789757 lingua:question _:gn_3.
+_:rl_14789757 lingua:answer _:gn_3.
+_:rl_14789757 lingua:bindings ((var:node_6_1 :Socrates)).
 _:gn_1 {
     var:node_2_1 rdfs:subClassOf var:node_4_1.
     var:node_6_1 a var:node_2_1.
 }
 _:gn_2 {
     var:node_6_1 a var:node_4_1.
 }
+_:gn_3 {
+    var:node_6_1 a :Mortal.
+}