diff options
Diffstat (limited to 'modeling/prod_subtraction.py')
| -rw-r--r-- | modeling/prod_subtraction.py | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/modeling/prod_subtraction.py b/modeling/prod_subtraction.py index 1d1f73e..b952dd9 100644 --- a/modeling/prod_subtraction.py +++ b/modeling/prod_subtraction.py @@ -80,6 +80,21 @@ def subtraction(Model): arg2 =num2 """, ) + sub_ones_retry = Model.productionstring( + name="sub_ones_retry", + string=""" + =g> + isa math_goal + op sub_ones + ?retrieval> + state error + ==> + =g> + isa math_goal + op sub_retrieve + ~retrieval> + """, + ) sub_ones_ok = Model.productionstring( name="sub_ones_ok", |