From 347d3c943462a73c35c9d246c4970833d96180bf Mon Sep 17 00:00:00 2001
From: "Dobbertin, Niclas" <niclas.dobbertin@mailbox.org>
Date: Wed, 7 Aug 2024 07:52:12 +0200
Subject: full experiment, fixed and random

---
 modeling/prod_procedure.py | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'modeling/prod_procedure.py')

diff --git a/modeling/prod_procedure.py b/modeling/prod_procedure.py
index 20921c9..f9e2d7f 100644
--- a/modeling/prod_procedure.py
+++ b/modeling/prod_procedure.py
@@ -4,12 +4,28 @@
 def procedures(Model):
     prods = []
 
+    proc_find_next = Model.productionstring(
+        name="proc_find_next",
+        string="""
+        =g>
+        isa         math_goal
+        proc        next_proc
+        op          None
+        nextop      None
+        ==>
+        =g>
+        isa         math_goal
+        op          find_next_proc
+        """
+    )
+
     proc_start = Model.productionstring(
         name="proc_start",
         string="""
         =g>
         isa         math_goal
         proc        =proc
+        proc        ~next_proc
         op          None
         nextop      None
         ?retrieval>
-- 
cgit v1.2.3