refreshing

KNowledgeOnWebScale · Mar 27, 2024 · 9ef8894 · 9ef8894
1 parent faa6273
commit 9ef8894
Show file tree

Hide file tree

Showing 27 changed files with 78 additions and 78 deletions.
diff --git a/lingua/output/ackermann.trig b/lingua/output/ackermann.trig
@@ -14,9 +14,9 @@
 (4 0) :ackermann 13 .
 (4 1) :ackermann 65533 .
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_3 lingua:explanation _:gn_4.

diff --git a/lingua/output/acp.trig b/lingua/output/acp.trig
@@ -7,9 +7,9 @@
 :test :for :PolicyX.
 :test :is true.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_3 lingua:explanation _:gn_4.

diff --git a/lingua/output/backward.trig b/lingua/output/backward.trig
@@ -4,9 +4,9 @@
 
 ("this" 5) :moreInterestingThan ("that" 3).
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 

diff --git a/lingua/output/beetle.trig b/lingua/output/beetle.trig
@@ -3,9 +3,9 @@
 
 :beetle :is :beautiful.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_1 lingua:explanation _:node_12_1.

diff --git a/lingua/output/beetle6.trig b/lingua/output/beetle6.trig
@@ -3,9 +3,9 @@
 
 :beetle :is :nice.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_1 lingua:explanation _:gn_3.

diff --git a/lingua/output/blogic.trig b/lingua/output/blogic.trig
@@ -4,9 +4,9 @@
 
 :Socrates a :Mortal.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:node_9_1.
 _:gn_2 lingua:explanation _:gn_3.

diff --git a/lingua/output/complex.trig b/lingua/output/complex.trig
@@ -9,9 +9,9 @@
 (2 0) complex:asin (1.5707963267948966 1.3169578969248166).
 (2 0) complex:acos (0.0 -1.3169578969248166).
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_3 lingua:explanation _:gn_4.

diff --git a/lingua/output/derived.trig b/lingua/output/derived.trig
@@ -4,9 +4,9 @@
 
 :test :is true.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_3 lingua:explanation _:gn_4.

diff --git a/lingua/output/easter.trig b/lingua/output/easter.trig
@@ -30,9 +30,9 @@
 (2049) :easter (18 4).
 (2050) :easter (10 4).
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_3 lingua:explanation _:gn_4.

diff --git a/lingua/output/edt.trig b/lingua/output/edt.trig
@@ -5,9 +5,9 @@
 
 edt:i100000 a edt:N1000.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:node_1_1 lingua:explanation true.
 _:gn_1 lingua:explanation _:gn_2.

diff --git a/lingua/output/fibonacci.trig b/lingua/output/fibonacci.trig
@@ -8,9 +8,9 @@
 (91) :fibonacci 4660046610375530309 .
 (283) :fibonacci 62232491515607091882574410635924603070626544377175485625797 .
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_3 lingua:explanation _:gn_4.

diff --git a/lingua/output/gps.trig b/lingua/output/gps.trig
@@ -8,9 +8,9 @@
 :i1 gps:path ((:drive_gent_brugge :drive_brugge_oostende) 2400.0 0.01 0.9408 0.99).
 :i1 gps:path ((:drive_gent_kortrijk :drive_kortrijk_brugge :drive_brugge_oostende) 4100.0 0.018000000000000002 0.903168 0.9801).
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_3 lingua:explanation _:gn_4.

diff --git a/lingua/output/graph.trig b/lingua/output/graph.trig
@@ -6,9 +6,9 @@
 :chartres :path :nantes.
 :paris :path :nantes.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_3 lingua:explanation _:gn_4.

diff --git a/lingua/output/mi.trig b/lingua/output/mi.trig
@@ -5,9 +5,9 @@
 
 () :natnum (:s (:s (:s (:s (:s (0)))))).
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_3 lingua:explanation _:gn_4.

diff --git a/lingua/output/monadic.trig b/lingua/output/monadic.trig
@@ -1521,9 +1521,9 @@ bmt:i27 bmt:cycle (bmt:i84 bmt:i39 bmt:i84 bmt:i39 bmt:i84 bmt:i39 bmt:i84 bmt:i
 bmt:i27 bmt:cycle (bmt:i72 bmt:i21 bmt:i72 bmt:i21 bmt:i72 bmt:i21 bmt:i72 bmt:i21 bmt:i72 bmt:i21).
 bmt:i27 bmt:cycle (bmt:i39 bmt:i84 bmt:i39 bmt:i84 bmt:i39 bmt:i84 bmt:i39 bmt:i84 bmt:i39 bmt:i84).
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:node_1_1 lingua:explanation true.
 

diff --git a/lingua/output/patch.trig b/lingua/output/patch.trig
@@ -7,9 +7,9 @@
 :pers002 :familyName "Cardinale".
 :pers002 :givenName "Claudia".
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation true.
 

diff --git a/lingua/output/peano.trig b/lingua/output/peano.trig
@@ -3,9 +3,9 @@
 
 (:s (:s (:s (:s (:s 0))))) :factorial (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s 0)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))).
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_3 lingua:explanation _:gn_4.

diff --git a/lingua/output/pi.trig b/lingua/output/pi.trig
@@ -4,9 +4,9 @@
 
 (1000 3.141592653839793) :pi true.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_3 lingua:explanation _:gn_4.

diff --git a/lingua/output/restdesc.trig b/lingua/output/restdesc.trig
@@ -4,9 +4,9 @@
 
 :x :relGoal :y.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_3 lingua:explanation _:gn_4.

diff --git a/lingua/output/slide32.trig b/lingua/output/slide32.trig
@@ -3,9 +3,9 @@
 
 :Ghent a :HumanCommunity.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:node_5_1.
 _:gn_1 lingua:explanation _:gn_2.

diff --git a/lingua/output/slide33.trig b/lingua/output/slide33.trig
@@ -4,9 +4,9 @@
 
 :xxx a :aaa.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_1 lingua:explanation _:gn_3.

diff --git a/lingua/output/socrates.trig b/lingua/output/socrates.trig
@@ -4,9 +4,9 @@
 
 :Socrates a :Mortal.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 

diff --git a/lingua/output/syllogism.trig b/lingua/output/syllogism.trig
@@ -3,9 +3,9 @@
 
 :test :is true.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_1 lingua:explanation _:gn_3.

diff --git a/lingua/output/turing.trig b/lingua/output/turing.trig
@@ -7,9 +7,9 @@
 (1 1 1 1 1 1) :compute (1 0 0 0 0 0 0 "#").
 () :compute (1 "#").
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_3 lingua:explanation _:gn_4.

diff --git a/lingua/output/universal.trig b/lingua/output/universal.trig
@@ -8,9 +8,9 @@
 :bob :loves skolem:t_0.
 skolem:t_0 :is :lonely.
 
-# ------------------
-# lingua explanation
-# ------------------
+###                    ###
+### lingua explanation ###
+###                    ###
 
 _:gn_1 lingua:explanation _:gn_2.
 _:gn_1 lingua:explanation _:gn_3.

diff --git a/see.pl b/see.pl
@@ -889,9 +889,9 @@
     ),
     (   answer('<http://www.w3.org/2000/10/swap/lingua#explanation>', _, _)
     ->  nl,
-        writeln('# ------------------'),
-        writeln('# lingua explanation'),
-        writeln('# ------------------'),
+        writeln('###                    ###'),
+        writeln('### lingua explanation ###'),
+        writeln('###                    ###'),
         nl,
         (   answer('<http://www.w3.org/2000/10/swap/lingua#explanation>', S, O),
             labelvars('<http://www.w3.org/2000/10/swap/lingua#explanation>'(S, O), 0, _, avar),

diff --git a/see.pvm b/see.pvm