using frequency 0 in place of explicit negation in tests

opennars · May 1, 2024 · ba1780b · ba1780b
1 parent b648ba2
commit ba1780b
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 18 deletions.
diff --git a/Tests/test_NAL/test_NAL3.py b/Tests/test_NAL/test_NAL3.py
@@ -150,7 +150,7 @@ def test_compound_decomposition_intensional_intersection(self):
         '''
         tasks_derived = process_two_premises(
             '<robin --> (|,bird,swimmer)>. %1.00;0.90%', 
-            '(--, <robin --> swimmer>). %1.00;0.90%', 
+            '<robin --> swimmer>. %0.00;0.90%', 
             20
         )
         self.assertTrue(
@@ -160,7 +160,7 @@ def test_compound_decomposition_intensional_intersection(self):
         nars.reset()
 
         tasks_derived = process_two_premises(
-            '(--, <robin --> swimmer>). %1.00;0.90%', 
+            '<robin --> swimmer>. %0.00;0.90%', 
             '<robin --> (|,bird,swimmer)>. %1.00;0.90%', 
             20
         )
@@ -186,23 +186,23 @@ def test_compound_decomposition_extensional_difference(self):
         ''outputMustContain('<robin --> mammal>. %0.00;0.81%')
         '''
         tasks_derived = process_two_premises(
-            '(--, <robin --> swimmer>). %1.00;0.90%', 
-            '(--, <robin --> (-,mammal,swimmer)>). %1.00;0.90%', 
+            '<robin --> swimmer>. %0.00;0.90%', 
+            '<robin --> (-,mammal,swimmer)>. %0.00;0.90%', 
             32
         )
         self.assertTrue(
-            output_contains(tasks_derived, '(--, <robin --> mammal>). %1.00;0.81%')
+            output_contains(tasks_derived, '<robin --> mammal>. %0.00;0.81%')
         )
 
         nars.reset()
 
         tasks_derived = process_two_premises(
-            '(--, <robin --> (-,mammal,swimmer)>). %1.00;0.90%', 
-            '(--, <robin --> swimmer>). %1.00;0.90%', 
+            '<robin --> (-,mammal,swimmer)>. %0.00;0.90%', 
+            '<robin --> swimmer>. %0.00;0.90%', 
             32
         )
         self.assertTrue(
-            output_contains(tasks_derived, '(--, <robin --> mammal>). %1.00;0.81%')
+            output_contains(tasks_derived, '<robin --> mammal>. %0.00;0.81%')
         )      
 
         pass

diff --git a/Tests/test_NAL/test_NAL5.py b/Tests/test_NAL/test_NAL5.py
@@ -557,12 +557,12 @@ def test_decomposition_0(self):
         ''outputMustContain('<<robin --> bird> ==> <robin --> animal>>. %0.00;0.81%')
         '''
         tasks_derived = process_two_premises(
-            '(--, <<robin --> bird> ==> (&&,<robin --> animal>,<robin --> [flying]>)>). %1.00;0.90%', 
+            '<<robin --> bird> ==> (&&,<robin --> animal>,<robin --> [flying]>)>. %0.00;0.90%', 
             '<<robin --> bird> ==> <robin --> [flying]>>. %1.00;0.90%', 
-            10
+            200
         )
         self.assertTrue(
-            output_contains(tasks_derived, '(--, <<robin --> bird> ==> <robin --> animal>>). %1.00;0.81%')
+            output_contains(tasks_derived, '<<robin --> bird> ==> <robin --> animal>>. %0.00;0.81%')
         )
         pass
 
@@ -583,23 +583,23 @@ def test_decomposition_1(self):
         ''outputMustContain('<robin --> swimmer>. %0.00;0.81%')
         '''
         tasks_derived = process_two_premises(
-            '(--, (&&,<robin --> [flying]>,<robin --> swimmer>)). %1.00;0.90% ', 
+            '(&&,<robin --> [flying]>,<robin --> swimmer>). %0.00;0.90% ', 
             '<robin --> [flying]>. %1.00;0.90%', 
-            20
+            100
         )
         self.assertTrue(
-            output_contains(tasks_derived, '(--, <robin --> swimmer>). %1.00;0.81%')
+            output_contains(tasks_derived, '<robin --> swimmer>. %0.00;0.81%')
         )
 
         nars.reset()
 
         tasks_derived = process_two_premises(
             '<robin --> [flying]>. %1.00;0.90%', 
-            '(--, (&&,<robin --> [flying]>,<robin --> swimmer>)). %1.00;0.90% ', 
-            20
+            '(&&,<robin --> [flying]>,<robin --> swimmer>). %0.00;0.90% ', 
+            100
         )
         self.assertTrue(
-            output_contains(tasks_derived, '(--, <robin --> swimmer>). %1.00;0.81%')
+            output_contains(tasks_derived, '<robin --> swimmer>. %0.00;0.81%')
         )
 
         pass
@@ -622,7 +622,7 @@ def test_decomposition_2(self):
         '''
         tasks_derived = process_two_premises(
             '(||,<robin --> [flying]>,<robin --> swimmer>). %1.00;0.90% ', 
-            '(--, <robin --> swimmer>). %1.00;0.90%', 
+            '<robin --> swimmer>. %0.00;0.90%', 
             50
         )
         self.assertTrue(