diff options
Diffstat (limited to 'modeling/prod_subtraction.py')
| -rw-r--r-- | modeling/prod_subtraction.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/modeling/prod_subtraction.py b/modeling/prod_subtraction.py index 91137bb..1d1f73e 100644 --- a/modeling/prod_subtraction.py +++ b/modeling/prod_subtraction.py @@ -14,6 +14,7 @@ def subtraction(Model): arg2 =arg2 ?retrieval> state free + buffer empty ==> =g> isa math_goal @@ -191,6 +192,7 @@ def subtraction(Model): tens2 =num2 ones_carry 1 ?retrieval> + buffer empty state free ==> =g> @@ -264,6 +266,7 @@ def subtraction(Model): tens2 =num2 ones_carry 0 ?retrieval> + buffer empty state free ==> =g> @@ -387,6 +390,7 @@ def subtraction(Model): hundreds2 =num2 tens_carry 1 ?retrieval> + buffer empty state free ==> =g> @@ -460,6 +464,7 @@ def subtraction(Model): hundreds2 =num2 tens_carry 0 ?retrieval> + buffer empty state free ==> =g> |