diff options
| author | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-09-02 08:12:53 +0200 |
|---|---|---|
| committer | Dobbertin, Niclas <niclas.dobbertin@mailbox.org> | 2024-09-02 08:12:53 +0200 |
| commit | be9aa2cc897ce4ff8a42617f9707c179e0eeddbd (patch) | |
| tree | ced84404b1b0838081664fab0c5ce8a12c7432bd /modeling/prod_subtraction.py | |
| parent | 7c1d45b574de33dafcd93b251fc089acff313292 (diff) | |
update
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", |