diff options
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=""" |