added comments into the translations

logicmoo · Feb 26, 2024 · 14ca2de · 14ca2de
1 parent 0b0d2d1
commit 14ca2de
Show file tree

Hide file tree

Showing 240 changed files with 71,129 additions and 142,937 deletions.
diff --git a/aq1/aq1.metta b/aq1/aq1.metta
diff --git a/aq1/aq1_1.metta b/aq1/aq1_1.metta
@@ -1,63 +1,21 @@
+;                                           (convert_to_metta_file  aq1_1 $_340696 aq1/aq1_1.pl aq1/aq1_1.metta)
 
-  (= 
-    (domaintype  color nominal) True)
-; 
+  (= (domaintype  color nominal)  True)
 
+  (= (valueset  color (red green blue))  True)
 
-  (= 
-    (valueset  color 
-      (red green blue)) True)
-; 
+  (= (domaintype  temp linear)  True)
 
+  (= (order  temp (cold warm hot))  True)
 
-  (= 
-    (domaintype  temp linear) True)
-; 
+  (= (domaintype  shape nominal)  True)
 
+  (= (valueset  shape (square hexagon octagon))  True)
 
-  (= 
-    (order  temp 
-      (cold warm hot)) True)
-; 
-
-
-  (= 
-    (domaintype  shape nominal) True)
-; 
-
-
-  (= 
-    (valueset  shape 
-      (square hexagon octagon)) True)
-; 
-
-
-  (= 
-    (classes  
-      (past present future)) True)
-; 
-
-
-  (= 
-    (events  past 
-      ( ( ( (= color red)) 
-          ( (= temp warm)) 
-          ( (= shape square))) (((= color green)) ((= temp cold)) ((= shape hexagon))))) True)
-; 
-
-  (= 
-    (events  present 
-      ( ( ( (= color blue)) 
-          ( (= temp warm)) 
-          ( (= shape square))) (((= color red)) ((= temp hot)) ((= shape hexagon))))) True)
-; 
-
-  (= 
-    (events  future 
-      ( ( ( (= color green)) 
-          ( (= temp warm)) 
-          ( (= shape hexagon))) (((= color blue)) ((= temp hot)) ((= shape octagon))))) True)
-; 
+  (= (classes  (past present future))  True)
 
+  (= (events  past ((((= color  red)) ((= temp  warm)) ((= shape  square))) (((= color  green)) ((= temp  cold)) ((= shape  hexagon)))))  True)
+  (= (events  present ((((= color  blue)) ((= temp  warm)) ((= shape  square))) (((= color  red)) ((= temp  hot)) ((= shape  hexagon)))))  True)
+  (= (events  future ((((= color  green)) ((= temp  warm)) ((= shape  hexagon))) (((= color  blue)) ((= temp  hot)) ((= shape  octagon)))))  True)
 
 
diff --git a/aq1/aq1_2.metta b/aq1/aq1_2.metta
@@ -1,81 +1,21 @@
+;                                           (convert_to_metta_file  aq1_2 $_393658 aq1/aq1_2.pl aq1/aq1_2.metta)
 
-  (= 
-    (domaintype  color nominal) True)
-; 
+  (= (domaintype  color nominal)  True)
 
+  (= (valueset  color (red green blue))  True)
 
-  (= 
-    (valueset  color 
-      (red green blue)) True)
-; 
+  (= (domaintype  temp linear)  True)
 
+  (= (order  temp (cold warm hot))  True)
 
-  (= 
-    (domaintype  temp linear) True)
-; 
+  (= (domaintype  shape nominal)  True)
 
+  (= (valueset  shape (square hexagon octagon))  True)
 
-  (= 
-    (order  temp 
-      (cold warm hot)) True)
-; 
-
-
-  (= 
-    (domaintype  shape nominal) True)
-; 
-
-
-  (= 
-    (valueset  shape 
-      (square hexagon octagon)) True)
-; 
-
-
-  (= 
-    (classes  
-      (past present future)) True)
-; 
-
-
-  (= 
-    (events  past 
-      ( ( ( (= color red)) 
-          ( (= shape square)) 
-          ( (= temp warm))) 
-        ( ( (= color red)) 
-          ( (= shape hexagon)) 
-          ( (= temp hot))) 
-        ( ( (= color green)) 
-          ( (= shape hexagon)) 
-          ( (= temp cold))))) True)
-; 
-
-  (= 
-    (events  present 
-      ( ( ( (= color blue)) 
-          ( (= shape square)) 
-          ( (= temp warm))) 
-        ( ( (= color red)) 
-          ( (= shape hexagon)) 
-          ( (= temp hot))) 
-        ( ( (= color red)) 
-          ( (= shape hexagon)) 
-          ( (= temp hot))))) True)
-; 
-
-  (= 
-    (events  future 
-      ( ( ( (= color green)) 
-          ( (= shape hexagon)) 
-          ( (= temp warm))) 
-        ( ( (= color red)) 
-          ( (= shape hexagon)) 
-          ( (= temp hot))) 
-        ( ( (= color blue)) 
-          ( (= shape octagon)) 
-          ( (= temp hot))))) True)
-; 
+  (= (classes  (past present future))  True)
 
+  (= (events  past ((((= color  red)) ((= shape  square)) ((= temp  warm))) (((= color  red)) ((= shape  hexagon)) ((= temp  hot))) (((= color  green)) ((= shape  hexagon)) ((= temp  cold)))))  True)
+  (= (events  present ((((= color  blue)) ((= shape  square)) ((= temp  warm))) (((= color  red)) ((= shape  hexagon)) ((= temp  hot))) (((= color  red)) ((= shape  hexagon)) ((= temp  hot)))))  True)
+  (= (events  future ((((= color  green)) ((= shape  hexagon)) ((= temp  warm))) (((= color  red)) ((= shape  hexagon)) ((= temp  hot))) (((= color  blue)) ((= shape  octagon)) ((= temp  hot)))))  True)