From 7c1d45b574de33dafcd93b251fc089acff313292 Mon Sep 17 00:00:00 2001 From: Niclas Dobbertin Date: Sun, 1 Sep 2024 17:29:19 +0200 Subject: fix retrieval checks --- modeling/prod_comp.py | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'modeling/prod_comp.py') diff --git a/modeling/prod_comp.py b/modeling/prod_comp.py index 84ae370..3b675ec 100644 --- a/modeling/prod_comp.py +++ b/modeling/prod_comp.py @@ -43,6 +43,7 @@ def greater_than(Model): hundreds_ans =hun1 tens_ans =ten1 ones_ans =one1 + ~retrieval> """, ) prods.append(arg1_greater) @@ -63,6 +64,7 @@ def greater_than(Model): hundreds_ans =hun2 tens_ans =ten2 ones_ans =one2 + ~retrieval> """, ) prods.append(arg2_greater) @@ -79,6 +81,7 @@ def greater_than(Model): hundreds_ans None ?retrieval> state free + buffer empty ==> =g> isa math_goal @@ -104,6 +107,7 @@ def greater_than(Model): tens2 =ten2 ?retrieval> state free + buffer empty ==> =g> isa math_goal @@ -130,6 +134,7 @@ def greater_than(Model): ones2 =one2 ?retrieval> state free + buffer empty ==> =g> isa math_goal @@ -319,6 +324,7 @@ def lesser_than(Model): hundreds_ans =hun1 tens_ans =ten1 ones_ans =one1 + ~retrieval> """, ) prods.append(arg1_lesser) @@ -339,6 +345,7 @@ def lesser_than(Model): hundreds_ans =hun2 tens_ans =ten2 ones_ans =one2 + ~retrieval> """, ) prods.append(arg2_lesser) @@ -355,6 +362,7 @@ def lesser_than(Model): hundreds_ans None ?retrieval> state free + buffer empty ==> =g> isa math_goal @@ -380,6 +388,7 @@ def lesser_than(Model): tens2 =ten2 ?retrieval> state free + buffer empty ==> =g> isa math_goal @@ -406,6 +415,7 @@ def lesser_than(Model): ones2 =one2 ?retrieval> state free + buffer empty ==> =g> isa math_goal -- cgit v1.2.3