From 42c84ec037e9dee5038fbd0e6da1369493c99370 Mon Sep 17 00:00:00 2001
From: Niclas Dobbertin <niclas.dobbertin@mailbox.org>
Date: Thu, 5 Sep 2024 20:21:37 +0200
Subject: retrieval retry

---
 modeling/prod_numbers.py | 22 ++++++++++++++++++++--
 1 file changed, 20 insertions(+), 2 deletions(-)

(limited to 'modeling/prod_numbers.py')

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="""
-- 
cgit v1.2.3