bug in fact parser with negations

lab-v2 · Aug 6, 2024 · b71ee9e · b71ee9e
1 parent 7aa3180
commit b71ee9e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pyreason/scripts/utils/fact_parser.py b/pyreason/scripts/utils/fact_parser.py
@@ -11,6 +11,7 @@ def parse_fact(fact_text):
         pred_comp = f
         if pred_comp[0] == '~':
             bound = 'False'
+            pred_comp = pred_comp[1:]
         else:
             bound = 'True'