doing labelvars during output

KNowledgeOnWebScale · Mar 27, 2024 · 3f46888 · 3f46888
1 parent 8e0399d
commit 3f46888
Show file tree

Hide file tree

Showing 6 changed files with 465 additions and 324 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.1.3
+1.1.4
diff --git a/lingua/edt.trig b/lingua/edt.trig
@@ -35,7 +35,7 @@ _:ng3 {
 }
 
 # query
-_:ng4  lingua:query _:ng4.
+_:ng4 lingua:query _:ng4.
 
 _:ng4 {
  edt:i100000 a edt:N1000.

diff --git a/lingua/output/acp.trig b/lingua/output/acp.trig
@@ -28,7 +28,7 @@ _:gn_2 {
 _:gn_3 {
  :test1 :policy :PolicyX.
  :PolicyX a :Policy.
- (var:_7298 _:gn_9 (:C)) log:collectAllIn ((<https://eyereasoner.github.io/see-lingua/lingua/acp.trig>) 1).
+ (var:x_0 _:gn_9 (:C)) log:collectAllIn ((<https://eyereasoner.github.io/see-lingua/lingua/acp.trig>) 1).
  (:C) list:length 1 .
  (1) log:notEqualTo (0).
 }
@@ -40,7 +40,7 @@ _:gn_4 {
 _:gn_5 {
  :test1 :policy :PolicyX.
  :PolicyX a :Policy.
- (var:_7298 _:gn_10 ()) log:collectAllIn ((<https://eyereasoner.github.io/see-lingua/lingua/acp.trig>) 1).
+ (var:x_0 _:gn_10 ()) log:collectAllIn ((<https://eyereasoner.github.io/see-lingua/lingua/acp.trig>) 1).
  () list:length 0 .
  (0) log:equalTo (0).
 }
@@ -50,19 +50,19 @@ _:gn_6 {
 }
 
 _:gn_7 {
- :PolicyX :allOf var:_7300.
+ :PolicyX :allOf var:x_0.
 }
 
 _:gn_8 {
- :test1 :has var:_7300.
+ :test1 :has var:x_0.
 }
 
 _:gn_9 {
- :PolicyX :anyOf var:_7306 .
- :test1 :has var:_7306.
+ :PolicyX :anyOf var:x_0.
+ :test1 :has var:x_0.
 }
 
 _:gn_10 {
- :PolicyX :noneOf var:_7306 .
- :test1 :has var:_7306.
+ :PolicyX :noneOf var:x_0.
+ :test1 :has var:x_0.
 }