diff options
| author | Niclas Dobbertin <niclas.dobbertin@mailbox.org> | 2024-09-05 20:21:37 +0200 |
|---|---|---|
| committer | Niclas Dobbertin <niclas.dobbertin@mailbox.org> | 2024-09-05 20:21:37 +0200 |
| commit | 42c84ec037e9dee5038fbd0e6da1369493c99370 (patch) | |
| tree | ed00ece22c617c89ac6d3b3576f3ba995f46239c /modeling/prod_numbers.py | |
| parent | 4841d9a3f6a6aa8dd943e8f6fa23820c9a3011d5 (diff) | |
retrieval retry
Diffstat (limited to 'modeling/prod_numbers.py')
| -rw-r--r-- | modeling/prod_numbers.py | 22 |
1 files changed, 20 insertions, 2 deletions
diff --git a/modeling/prod_numbers.py b/modeling/prod_numbers.py index cbc87e7..3943403 100644 --- a/modeling/prod_numbers.py +++ b/modeling/prod_numbers.py @@ -79,7 +79,6 @@ def number(Model): isa math_goal op expand arg2 =num - ones1 ~None ones2 None expand_slot None ?retrieval> @@ -132,7 +131,6 @@ def number(Model): ==> =g> isa math_goal - op done expand_slot None ones2 =one tens2 =ten @@ -142,6 +140,26 @@ def number(Model): ) prods.append(number_expand_arg2_done) + number_expand_done = Model.productionstring( + name="number_expand_done", + string=""" + =g> + isa math_goal + op expand + expand_slot None + ones1 ~None + tens1 ~None + hundreds1 ~None + ones2 ~None + tens2 ~None + hundreds2 ~None + ==> + =g> + isa math_goal + op done + """ + ) + number_contract_result = Model.productionstring( name="number_contract_result", string=""" |