;;;<pre><xmp>

(defvar *lis*)
(setf *lis* nil)
(defvar *last*)
(setf *last* 0)
(defvar *lf* 2.0)
(setf *lf* 2.0)
(defvar *v* nil)
(setf *v* nil)
(defvar *text* t)
(defvar *graphic* nil)
(defvar *move-attention* .185)

(defvar *WWW-interface*)

(setf  *WWW-interface* 
      '((:heading "Equation Solving Predictions" 2)
        (:table)
        
        (:table)
        "Latency Factor (F):"       (:string :sy *lf*  2)    (:new-row)
        "Move Attention time (sec.)" (:string :sy *move-attention* .185) 
        
        (:table-end)
       
        (:table)
        (:checkbox "Trace" :sy *v*  nil) (:new-row)
        (:checkbox "Text output" :sy *text*  t) (:new-row)
        (:checkbox "Graphic output" :sy *graphic*  nil) 

        (:table-end)
        (:table-end)
       
        (:new-para)
        
        (:button "Run model" "
                              (if (and (numberp *lf*) (numberp *move-attention*)
                                      )
                                  (full-sim-equ-pre)
                                  (format *standard-output* \"All parameters must be numbers~%\"))")

        (:reset "Default values")

        (:button "Production Rules" "(let ((prods (no-output (pp))))
                                       (dolist (x prods)
                                         (pp-fct (list x))
                                         (spp-fct (list x))
                                         (format *standard-output* \"~%\")))")
        (:button "Chunk types" "(chunk-type)")
        (:button "Chunks" "(dm)")
        (:new-para)
         "TIME and SIZE:"
        (:new-para)
        "- It usually takes less than 1 minute to run the model"
        (:new-line)
        "- The trace of 1 run is approximatly 15k (10 pages) in size"
        (:new-para)))


(defun run5-equ-pre (sign)
  (let ((val))
    (do ((count 0 (1+ count))
         (result nil (cons *lis* result)))
        ((equal count 5) (reverse result))
      (reset) (eval `(mod-chunk strategy type ,sign)) 
      (setf *lis* nil) (setf *last* 0)
      
      (sgp-fct (list :era t :lf *lf* :v *v*))
      (spp-fct (list 'Encode-Fourth :effort *move-attention*))
      (spp-fct (list 'Encode-Second-Complexb :effort *move-attention*))
      (spp-fct (list 'Encode-third-Complexb :effort *move-attention*))
      (spp-fct (list 'Encode-Third-Complexa :effort *move-attention*))
      (spp-fct (list 'Encode-Second-Complexa :effort *move-attention*))
      (spp-fct (list 'Encode-First :effort *move-attention*))
      (spp-fct (list 'Encode-Equation :effort *move-attention*))
      
      (no-output (do ((temp (dm) (cdr temp)))
                     ((null temp) nil)                 
                   (setf val (+ (* 0.5 (log (1+ count))) (caar (eval `(sdp ,(car temp) :base-level)))))
                   (eval `(sdp ,(car temp) :base-level ,val))))
      (run))))

(defun full-sim-equ-pre ()
  

  (do ((tempa (run5-equ-pre 'complexa) (cdr tempa))
       (tempb (run5-equ-pre 'complexb) (cdr tempb))
       (response nil (append response (list (/ (+ (fifth (car tempa)) 
                                                  (fifth (car tempb))) 2))))
       (fix-4a nil (append fix-4a (list (fourth (car tempa)))))
       (fix-3b nil (append fix-3b (list (third (car tempb)))))
       (fix-1 nil (append fix-1 (list (/ (+ (first (car tempa))
                                            (first (car tempb))) 2))))
       (others nil (append others (list (/ (+ (second (car tempa))
                                              (second (car tempb))
                                              (fourth (car tempb))
                                              (third (car tempa))) 4)))))
      ((null tempa) (output-data-equ-pre (list response fix-4a fix-3b fix-1 others)))
     ))

        
(defun output-data-equ-pre (data)
  (let ((labels '("Response" "Fixation 4, Strategy A" "Fixation 3, Strategy B"
                  "Fixation 1, both strategies" "Fixation 2, other strategies")))
    (when *text*
      (format *standard-output* "~%~%Times~%" )
      (format *standard-output* "                                              Day~%")
      (format *standard-output* "                                 1      2      3      4      5~%")
    
    (dotimes (i (length labels))
      (format *standard-output* "~29a" (nth i labels))
      (dolist (x (nth i data))
        (format *standard-output* "  ~5,3f" x))
      (format *standard-output* "~%"))
    
    (unless *graphic* (format *standard-output* 
                              "~%</pre>If your browser supports JAVA, you 
                               can display the data in a graph by checking 
                               the Graphic output box on the interface page.<pre>~%~%")))
  (when *graphic*
    (format *standard-output* " 
        <applet 
        code = \"DansGraphs.class\" 
        width = 500 
        height = 400> 
        <PARAM name=\"title\" value=\"Equation Solving Predictions\">
        <PARAM name=\"xmin\" value=\"0\">
        <PARAM name=\"xmax\" value=\"5\">
        <PARAM name=\"ymax\" value=\"2000\">
        <PARAM name=\"ymin\" value=\"0\">
        <PARAM name=\"ydiv\" value=\"250\">
        <PARAM name=\"yspacing\" value=\"500\">
        <PARAM name=\"xspacing\" value=\"1\">
        <PARAM name=\"xval0\" value=\"1;2;3;4;5;\">
        <PARAM name=\"xval1\" value=\"1;2;3;4;5;\">
        <PARAM name=\"xval2\" value=\"1;2;3;4;5;\">
        <PARAM name=\"xval3\" value=\"1;2;3;4;5;\">
        <PARAM name=\"xval4\" value=\"1;2;3;4;5;\">
        <PARAM name=\"xname\" value=\"Day\">
        <PARAM name=\"yname\" value=\"Time (ms)\">
        <PARAM name=\"numlines\" value=\"5\">
        <PARAM name=\"longestline\" value=\"5\">
        <PARAM name=\"lcolor0\" value=\"0\">
        <PARAM name=\"lstyle0\" value=\"0\">
        <PARAM name=\"lcolor1\" value=\"1\">
        <PARAM name=\"lstyle1\" value=\"0\">
        <PARAM name=\"lcolor2\" value=\"2\">
        <PARAM name=\"lstyle2\" value=\"0\">
        <PARAM name=\"lcolor3\" value=\"3\">
        <PARAM name=\"lstyle3\" value=\"0\">
        <PARAM name=\"lcolor4\" value=\"4\">
        <PARAM name=\"lstyle4\" value=\"0\">
        " )
    (dotimes (i 5)
      
      (format *standard-output* "<PARAM name=\"name~s\" value=\"~a\">
                                 <param name=\"yval~s\" value=\"" i (nth i labels) i)
      (dolist (x (nth i data))
        (format *standard-output* "~6,2f;" (* 1000 x)))
    
    (format *standard-output* "\">"))
    
   
    (format *standard-output* "
             <HR> Your browser does not support JAVA, so you cannot view the graphs.~%
             </HR></applet>"))))

  

(defun update-equ-pre ()
  (setf *lis* (append *lis* (list (- (actr-time ) *last*))))
  (setf *last* (actr-time)))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;</xmp><pre><a name="model">
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;</a>

(clearall)

(sgp-fct (list :era t :lf *lf* :v *v*))

(chunk-type solve-equation equation first second third fourth state answer)
(chunk-type element equation position value)
(chunk-type strategy type value)

(add-dm (first isa chunk)(second isa chunk)(third isa chunk)(fourth isa chunk)
        (fifth isa chunk)(sixth isa chunk)(seventh isa chunk)(eighth isa chunk)
        (x isa chunk) (divide isa chunk) (equals isa chunk) (end isa chunk)
        (eq1 isa chunk) (eq2 isa chunk) (simple isa chunk) (complex isa chunk)
        (e1 isa element equation eq1 position first value x)
        (e2 isa element equation eq1 position second value divide)
        (e3 isa element equation eq1 position third value six)
        (e4 isa element equation eq1 position fourth value equals)
        (e5 isa element equation eq1 position fifth value four)
        (e5a isa element equation eq1 position sixth value end)
        (e6 isa element equation eq2 position first value five)
        (e7 isa element equation eq2 position second value x)
        (e8 isa element equation eq2 position third value divide)
        (e9 isa element equation eq2 position fourth value eighteen)
        (e10 isa element equation eq2 position fifth value equals)
        (e11 isa element equation eq2 position sixth value twenty)
        (e12 isa element equation eq2 position seventh value divide)
        (e13 isa element equation eq2 position eighth value three)
        (goal isa solve-equation equation eq2)
        (complexa isa chunk)
        (not-end isa chunk)
        (complexb isa chunk)
        (tens isa chunk)
        (ones isa chunk)
        (return isa chunk)
)

(sdp :base-level 2.5)

(add-dm (strategy isa strategy type complexa value not-end))

(sdp strategy :base-level 1.6)

;;;The Integers file contents

(chunk-type integer value)
(chunk-type addition-fact arg1 arg2 sum)
(chunk-type multiplication-fact arg1 arg2 product)

(add-dm
 (ZERO ISA INTEGER VALUE 0) (ONE ISA INTEGER VALUE 1) (TWO ISA INTEGER VALUE 2)
 (THREE ISA INTEGER VALUE 3) (FOUR ISA INTEGER VALUE 4) (FIVE ISA INTEGER VALUE 5)
 (SIX ISA INTEGER VALUE 6) (SEVEN ISA INTEGER VALUE 7) (EIGHT ISA INTEGER VALUE 8)
 (NINE ISA INTEGER VALUE 9) (TEN ISA INTEGER VALUE 10) (ELEVEN ISA INTEGER VALUE 11)
 (TWELVE ISA INTEGER VALUE 12) (THIRTEEN ISA INTEGER VALUE 13) (FOURTEEN ISA INTEGER VALUE 14)
 (FIFTEEN ISA INTEGER VALUE 15) (SIXTEEN ISA INTEGER VALUE 16) (SEVENTEEN ISA INTEGER VALUE 17)
 (EIGHTEEN ISA INTEGER VALUE 18) (NINETEEN ISA INTEGER VALUE 19) (TWENTY ISA INTEGER VALUE 20)
 (TWENTY-ONE ISA INTEGER VALUE 21) (TWENTY-TWO ISA INTEGER VALUE 22)
 (TWENTY-THREE ISA INTEGER VALUE 23) (TWENTY-FOUR ISA INTEGER VALUE 24)
 (TWENTY-FIVE ISA INTEGER VALUE 25) (TWENTY-SIX ISA INTEGER VALUE 26)
 (TWENTY-SEVEN ISA INTEGER VALUE 27) (TWENTY-EIGHT ISA INTEGER VALUE 28)
 (TWENTY-NINE ISA INTEGER VALUE 29) (THIRTY ISA INTEGER VALUE 30) (THIRTY-ONE ISA INTEGER VALUE 31)
 (THIRTY-TWO ISA INTEGER VALUE 32) (THIRTY-THREE ISA INTEGER VALUE 33)
 (THIRTY-FOUR ISA INTEGER VALUE 34) (THIRTY-FIVE ISA INTEGER VALUE 35)
 (THIRTY-SIX ISA INTEGER VALUE 36) (THIRTY-SEVEN ISA INTEGER VALUE 37)
 (THIRTY-EIGHT ISA INTEGER VALUE 38) (THIRTY-NINE ISA INTEGER VALUE 39)
 (FORTY ISA INTEGER VALUE 40) (FORTY-ONE ISA INTEGER VALUE 41) (FORTY-TWO ISA INTEGER VALUE 42)
 (FORTY-THREE ISA INTEGER VALUE 43) (FORTY-FOUR ISA INTEGER VALUE 44)
 (FORTY-FIVE ISA INTEGER VALUE 45) (FORTY-SIX ISA INTEGER VALUE 46)
 (FORTY-SEVEN ISA INTEGER VALUE 47) (FORTY-EIGHT ISA INTEGER VALUE 48)
 (FORTY-NINE ISA INTEGER VALUE 49) (FIFTY ISA INTEGER VALUE 50) (FIFTY-ONE ISA INTEGER VALUE 51)
 (FIFTY-TWO ISA INTEGER VALUE 52) (FIFTY-THREE ISA INTEGER VALUE 53)
 (FIFTY-FOUR ISA INTEGER VALUE 54) (FIFTY-FIVE ISA INTEGER VALUE 55)
 (FIFTY-SIX ISA INTEGER VALUE 56) (FIFTY-SEVEN ISA INTEGER VALUE 57)
 (FIFTY-EIGHT ISA INTEGER VALUE 58) (FIFTY-NINE ISA INTEGER VALUE 59) (SIXTY ISA INTEGER VALUE 60)
 (SIXTY-ONE ISA INTEGER VALUE 61) (SIXTY-TWO ISA INTEGER VALUE 62)
 (SIXTY-THREE ISA INTEGER VALUE 63) (SIXTY-FOUR ISA INTEGER VALUE 64)
 (SIXTY-FIVE ISA INTEGER VALUE 65) (SIXTY-SIX ISA INTEGER VALUE 66)
 (SIXTY-SEVEN ISA INTEGER VALUE 67) (SIXTY-EIGHT ISA INTEGER VALUE 68)
 (SIXTY-NINE ISA INTEGER VALUE 69) (SEVENTY ISA INTEGER VALUE 70)
 (SEVENTY-ONE ISA INTEGER VALUE 71) (SEVENTY-TWO ISA INTEGER VALUE 72)
 (SEVENTY-THREE ISA INTEGER VALUE 73) (SEVENTY-FOUR ISA INTEGER VALUE 74)
 (SEVENTY-FIVE ISA INTEGER VALUE 75) (SEVENTY-SIX ISA INTEGER VALUE 76)
 (SEVENTY-SEVEN ISA INTEGER VALUE 77) (SEVENTY-EIGHT ISA INTEGER VALUE 78)
 (SEVENTY-NINE ISA INTEGER VALUE 79) (EIGHTY ISA INTEGER VALUE 80)
 (EIGHTY-ONE ISA INTEGER VALUE 81) (EIGHTY-TWO ISA INTEGER VALUE 82)
 (EIGHTY-THREE ISA INTEGER VALUE 83) (EIGHTY-FOUR ISA INTEGER VALUE 84)
 (EIGHTY-FIVE ISA INTEGER VALUE 85) (EIGHTY-SIX ISA INTEGER VALUE 86)
 (EIGHTY-SEVEN ISA INTEGER VALUE 87) (EIGHTY-EIGHT ISA INTEGER VALUE 88)
 (EIGHTY-NINE ISA INTEGER VALUE 89) (NINETY ISA INTEGER VALUE 90) (NINETY-ONE ISA INTEGER VALUE 91)
 (NINETY-TWO ISA INTEGER VALUE 92) (NINETY-THREE ISA INTEGER VALUE 93)
 (NINETY-FOUR ISA INTEGER VALUE 94) (NINETY-FIVE ISA INTEGER VALUE 95)
 (NINETY-SIX ISA INTEGER VALUE 96) (NINETY-SEVEN ISA INTEGER VALUE 97)
 (NINETY-EIGHT ISA INTEGER VALUE 98) (NINETY-NINE ISA INTEGER VALUE 99)
 (ONE-HUNDRED ISA INTEGER VALUE 100) (ZERO+ZERO ISA ADDITION-FACT ARG1 ZERO ARG2 ZERO SUM ZERO)
 (ZERO+ONE ISA ADDITION-FACT ARG1 ZERO ARG2 ONE SUM ONE)
 (ZERO+TWO ISA ADDITION-FACT ARG1 ZERO ARG2 TWO SUM TWO)
 (ZERO+THREE ISA ADDITION-FACT ARG1 ZERO ARG2 THREE SUM THREE)
 (ZERO+FOUR ISA ADDITION-FACT ARG1 ZERO ARG2 FOUR SUM FOUR)
 (ZERO+FIVE ISA ADDITION-FACT ARG1 ZERO ARG2 FIVE SUM FIVE)
 (ZERO+SIX ISA ADDITION-FACT ARG1 ZERO ARG2 SIX SUM SIX)
 (ZERO+SEVEN ISA ADDITION-FACT ARG1 ZERO ARG2 SEVEN SUM SEVEN)
 (ZERO+EIGHT ISA ADDITION-FACT ARG1 ZERO ARG2 EIGHT SUM EIGHT)
 (ZERO+NINE ISA ADDITION-FACT ARG1 ZERO ARG2 NINE SUM NINE)
 (ZERO+TEN ISA ADDITION-FACT ARG1 ZERO ARG2 TEN SUM TEN)
 (ONE+ZERO ISA ADDITION-FACT ARG1 ONE ARG2 ZERO SUM ONE)
 (ONE+ONE ISA ADDITION-FACT ARG1 ONE ARG2 ONE SUM TWO)
 (ONE+TWO ISA ADDITION-FACT ARG1 ONE ARG2 TWO SUM THREE)
 (ONE+THREE ISA ADDITION-FACT ARG1 ONE ARG2 THREE SUM FOUR)
 (ONE+FOUR ISA ADDITION-FACT ARG1 ONE ARG2 FOUR SUM FIVE)
 (ONE+FIVE ISA ADDITION-FACT ARG1 ONE ARG2 FIVE SUM SIX)
 (ONE+SIX ISA ADDITION-FACT ARG1 ONE ARG2 SIX SUM SEVEN)
 (ONE+SEVEN ISA ADDITION-FACT ARG1 ONE ARG2 SEVEN SUM EIGHT)
 (ONE+EIGHT ISA ADDITION-FACT ARG1 ONE ARG2 EIGHT SUM NINE)
 (ONE+NINE ISA ADDITION-FACT ARG1 ONE ARG2 NINE SUM TEN)
 (ONE+TEN ISA ADDITION-FACT ARG1 ONE ARG2 TEN SUM ELEVEN)
 (TWO+ZERO ISA ADDITION-FACT ARG1 TWO ARG2 ZERO SUM TWO)
 (TWO+ONE ISA ADDITION-FACT ARG1 TWO ARG2 ONE SUM THREE)
 (TWO+TWO ISA ADDITION-FACT ARG1 TWO ARG2 TWO SUM FOUR)
 (TWO+THREE ISA ADDITION-FACT ARG1 TWO ARG2 THREE SUM FIVE)
 (TWO+FOUR ISA ADDITION-FACT ARG1 TWO ARG2 FOUR SUM SIX)
 (TWO+FIVE ISA ADDITION-FACT ARG1 TWO ARG2 FIVE SUM SEVEN)
 (TWO+SIX ISA ADDITION-FACT ARG1 TWO ARG2 SIX SUM EIGHT)
 (TWO+SEVEN ISA ADDITION-FACT ARG1 TWO ARG2 SEVEN SUM NINE)
 (TWO+EIGHT ISA ADDITION-FACT ARG1 TWO ARG2 EIGHT SUM TEN)
 (TWO+NINE ISA ADDITION-FACT ARG1 TWO ARG2 NINE SUM ELEVEN)
 (TWO+TEN ISA ADDITION-FACT ARG1 TWO ARG2 TEN SUM TWELVE)
 (THREE+ZERO ISA ADDITION-FACT ARG1 THREE ARG2 ZERO SUM THREE)
 (THREE+ONE ISA ADDITION-FACT ARG1 THREE ARG2 ONE SUM FOUR)
 (THREE+TWO ISA ADDITION-FACT ARG1 THREE ARG2 TWO SUM FIVE)
 (THREE+THREE ISA ADDITION-FACT ARG1 THREE ARG2 THREE SUM SIX)
 (THREE+FOUR ISA ADDITION-FACT ARG1 THREE ARG2 FOUR SUM SEVEN)
 (THREE+FIVE ISA ADDITION-FACT ARG1 THREE ARG2 FIVE SUM EIGHT)
 (THREE+SIX ISA ADDITION-FACT ARG1 THREE ARG2 SIX SUM NINE)
 (THREE+SEVEN ISA ADDITION-FACT ARG1 THREE ARG2 SEVEN SUM TEN)
 (THREE+EIGHT ISA ADDITION-FACT ARG1 THREE ARG2 EIGHT SUM ELEVEN)
 (THREE+NINE ISA ADDITION-FACT ARG1 THREE ARG2 NINE SUM TWELVE)
 (THREE+TEN ISA ADDITION-FACT ARG1 THREE ARG2 TEN SUM THIRTEEN)
 (FOUR+ZERO ISA ADDITION-FACT ARG1 FOUR ARG2 ZERO SUM FOUR)
 (FOUR+ONE ISA ADDITION-FACT ARG1 FOUR ARG2 ONE SUM FIVE)
 (FOUR+TWO ISA ADDITION-FACT ARG1 FOUR ARG2 TWO SUM SIX)
 (FOUR+THREE ISA ADDITION-FACT ARG1 FOUR ARG2 THREE SUM SEVEN)
 (FOUR+FOUR ISA ADDITION-FACT ARG1 FOUR ARG2 FOUR SUM EIGHT)
 (FOUR+FIVE ISA ADDITION-FACT ARG1 FOUR ARG2 FIVE SUM NINE)
 (FOUR+SIX ISA ADDITION-FACT ARG1 FOUR ARG2 SIX SUM TEN)
 (FOUR+SEVEN ISA ADDITION-FACT ARG1 FOUR ARG2 SEVEN SUM ELEVEN)
 (FOUR+EIGHT ISA ADDITION-FACT ARG1 FOUR ARG2 EIGHT SUM TWELVE)
 (FOUR+NINE ISA ADDITION-FACT ARG1 FOUR ARG2 NINE SUM THIRTEEN)
 (FOUR+TEN ISA ADDITION-FACT ARG1 FOUR ARG2 TEN SUM FOURTEEN)
 (FIVE+ZERO ISA ADDITION-FACT ARG1 FIVE ARG2 ZERO SUM FIVE)
 (FIVE+ONE ISA ADDITION-FACT ARG1 FIVE ARG2 ONE SUM SIX)
 (FIVE+TWO ISA ADDITION-FACT ARG1 FIVE ARG2 TWO SUM SEVEN)
 (FIVE+THREE ISA ADDITION-FACT ARG1 FIVE ARG2 THREE SUM EIGHT)
 (FIVE+FOUR ISA ADDITION-FACT ARG1 FIVE ARG2 FOUR SUM NINE)
 (FIVE+FIVE ISA ADDITION-FACT ARG1 FIVE ARG2 FIVE SUM TEN)
 (FIVE+SIX ISA ADDITION-FACT ARG1 FIVE ARG2 SIX SUM ELEVEN)
 (FIVE+SEVEN ISA ADDITION-FACT ARG1 FIVE ARG2 SEVEN SUM TWELVE)
 (FIVE+EIGHT ISA ADDITION-FACT ARG1 FIVE ARG2 EIGHT SUM THIRTEEN)
 (FIVE+NINE ISA ADDITION-FACT ARG1 FIVE ARG2 NINE SUM FOURTEEN)
 (FIVE+TEN ISA ADDITION-FACT ARG1 FIVE ARG2 TEN SUM FIFTEEN)
 (SIX+ZERO ISA ADDITION-FACT ARG1 SIX ARG2 ZERO SUM SIX)
 (SIX+ONE ISA ADDITION-FACT ARG1 SIX ARG2 ONE SUM SEVEN)
 (SIX+TWO ISA ADDITION-FACT ARG1 SIX ARG2 TWO SUM EIGHT)
 (SIX+THREE ISA ADDITION-FACT ARG1 SIX ARG2 THREE SUM NINE)
 (SIX+FOUR ISA ADDITION-FACT ARG1 SIX ARG2 FOUR SUM TEN)
 (SIX+FIVE ISA ADDITION-FACT ARG1 SIX ARG2 FIVE SUM ELEVEN)
 (SIX+SIX ISA ADDITION-FACT ARG1 SIX ARG2 SIX SUM TWELVE)
 (SIX+SEVEN ISA ADDITION-FACT ARG1 SIX ARG2 SEVEN SUM THIRTEEN)
 (SIX+EIGHT ISA ADDITION-FACT ARG1 SIX ARG2 EIGHT SUM FOURTEEN)
 (SIX+NINE ISA ADDITION-FACT ARG1 SIX ARG2 NINE SUM FIFTEEN)
 (SIX+TEN ISA ADDITION-FACT ARG1 SIX ARG2 TEN SUM SIXTEEN)
 (SEVEN+ZERO ISA ADDITION-FACT ARG1 SEVEN ARG2 ZERO SUM SEVEN)
 (SEVEN+ONE ISA ADDITION-FACT ARG1 SEVEN ARG2 ONE SUM EIGHT)
 (SEVEN+TWO ISA ADDITION-FACT ARG1 SEVEN ARG2 TWO SUM NINE)
 (SEVEN+THREE ISA ADDITION-FACT ARG1 SEVEN ARG2 THREE SUM TEN)
 (SEVEN+FOUR ISA ADDITION-FACT ARG1 SEVEN ARG2 FOUR SUM ELEVEN)
 (SEVEN+FIVE ISA ADDITION-FACT ARG1 SEVEN ARG2 FIVE SUM TWELVE)
 (SEVEN+SIX ISA ADDITION-FACT ARG1 SEVEN ARG2 SIX SUM THIRTEEN)
 (SEVEN+SEVEN ISA ADDITION-FACT ARG1 SEVEN ARG2 SEVEN SUM FOURTEEN)
 (SEVEN+EIGHT ISA ADDITION-FACT ARG1 SEVEN ARG2 EIGHT SUM FIFTEEN)
 (SEVEN+NINE ISA ADDITION-FACT ARG1 SEVEN ARG2 NINE SUM SIXTEEN)
 (SEVEN+TEN ISA ADDITION-FACT ARG1 SEVEN ARG2 TEN SUM SEVENTEEN)
 (EIGHT+ZERO ISA ADDITION-FACT ARG1 EIGHT ARG2 ZERO SUM EIGHT)
 (EIGHT+ONE ISA ADDITION-FACT ARG1 EIGHT ARG2 ONE SUM NINE)
 (EIGHT+TWO ISA ADDITION-FACT ARG1 EIGHT ARG2 TWO SUM TEN)
 (EIGHT+THREE ISA ADDITION-FACT ARG1 EIGHT ARG2 THREE SUM ELEVEN)
 (EIGHT+FOUR ISA ADDITION-FACT ARG1 EIGHT ARG2 FOUR SUM TWELVE)
 (EIGHT+FIVE ISA ADDITION-FACT ARG1 EIGHT ARG2 FIVE SUM THIRTEEN)
 (EIGHT+SIX ISA ADDITION-FACT ARG1 EIGHT ARG2 SIX SUM FOURTEEN)
 (EIGHT+SEVEN ISA ADDITION-FACT ARG1 EIGHT ARG2 SEVEN SUM FIFTEEN)
 (EIGHT+EIGHT ISA ADDITION-FACT ARG1 EIGHT ARG2 EIGHT SUM SIXTEEN)
 (EIGHT+NINE ISA ADDITION-FACT ARG1 EIGHT ARG2 NINE SUM SEVENTEEN)
 (EIGHT+TEN ISA ADDITION-FACT ARG1 EIGHT ARG2 TEN SUM EIGHTEEN)
 (NINE+ZERO ISA ADDITION-FACT ARG1 NINE ARG2 ZERO SUM NINE)
 (NINE+ONE ISA ADDITION-FACT ARG1 NINE ARG2 ONE SUM TEN)
 (NINE+TWO ISA ADDITION-FACT ARG1 NINE ARG2 TWO SUM ELEVEN)
 (NINE+THREE ISA ADDITION-FACT ARG1 NINE ARG2 THREE SUM TWELVE)
 (NINE+FOUR ISA ADDITION-FACT ARG1 NINE ARG2 FOUR SUM THIRTEEN)
 (NINE+FIVE ISA ADDITION-FACT ARG1 NINE ARG2 FIVE SUM FOURTEEN)
 (NINE+SIX ISA ADDITION-FACT ARG1 NINE ARG2 SIX SUM FIFTEEN)
 (NINE+SEVEN ISA ADDITION-FACT ARG1 NINE ARG2 SEVEN SUM SIXTEEN)
 (NINE+EIGHT ISA ADDITION-FACT ARG1 NINE ARG2 EIGHT SUM SEVENTEEN)
 (NINE+NINE ISA ADDITION-FACT ARG1 NINE ARG2 NINE SUM EIGHTEEN)
 (NINE+TEN ISA ADDITION-FACT ARG1 NINE ARG2 TEN SUM NINETEEN)
 (TEN+ZERO ISA ADDITION-FACT ARG1 TEN ARG2 ZERO SUM TEN)
 (TEN+ONE ISA ADDITION-FACT ARG1 TEN ARG2 ONE SUM ELEVEN)
 (TEN+TWO ISA ADDITION-FACT ARG1 TEN ARG2 TWO SUM TWELVE)
 (TEN+THREE ISA ADDITION-FACT ARG1 TEN ARG2 THREE SUM THIRTEEN)
 (TEN+FOUR ISA ADDITION-FACT ARG1 TEN ARG2 FOUR SUM FOURTEEN)
 (TEN+FIVE ISA ADDITION-FACT ARG1 TEN ARG2 FIVE SUM FIFTEEN)
 (TEN+SIX ISA ADDITION-FACT ARG1 TEN ARG2 SIX SUM SIXTEEN)
 (TEN+SEVEN ISA ADDITION-FACT ARG1 TEN ARG2 SEVEN SUM SEVENTEEN)
 (TEN+EIGHT ISA ADDITION-FACT ARG1 TEN ARG2 EIGHT SUM EIGHTEEN)
 (TEN+NINE ISA ADDITION-FACT ARG1 TEN ARG2 NINE SUM NINETEEN)
 (TEN+TEN ISA ADDITION-FACT ARG1 TEN ARG2 TEN SUM TWENTY)
 (ZERO*ZERO ISA MULTIPLICATION-FACT ARG1 ZERO ARG2 ZERO PRODUCT ZERO)
 (ZERO*ONE ISA MULTIPLICATION-FACT ARG1 ZERO ARG2 ONE PRODUCT ZERO)
 (ZERO*TWO ISA MULTIPLICATION-FACT ARG1 ZERO ARG2 TWO PRODUCT ZERO)
 (ZERO*THREE ISA MULTIPLICATION-FACT ARG1 ZERO ARG2 THREE PRODUCT ZERO)
 (ZERO*FOUR ISA MULTIPLICATION-FACT ARG1 ZERO ARG2 FOUR PRODUCT ZERO)
 (ZERO*FIVE ISA MULTIPLICATION-FACT ARG1 ZERO ARG2 FIVE PRODUCT ZERO)
 (ZERO*SIX ISA MULTIPLICATION-FACT ARG1 ZERO ARG2 SIX PRODUCT ZERO)
 (ZERO*SEVEN ISA MULTIPLICATION-FACT ARG1 ZERO ARG2 SEVEN PRODUCT ZERO)
 (ZERO*EIGHT ISA MULTIPLICATION-FACT ARG1 ZERO ARG2 EIGHT PRODUCT ZERO)
 (ZERO*NINE ISA MULTIPLICATION-FACT ARG1 ZERO ARG2 NINE PRODUCT ZERO)
 (ZERO*TEN ISA MULTIPLICATION-FACT ARG1 ZERO ARG2 TEN PRODUCT ZERO)
 (ONE*ZERO ISA MULTIPLICATION-FACT ARG1 ONE ARG2 ZERO PRODUCT ZERO)
 (ONE*ONE ISA MULTIPLICATION-FACT ARG1 ONE ARG2 ONE PRODUCT ONE)
 (ONE*TWO ISA MULTIPLICATION-FACT ARG1 ONE ARG2 TWO PRODUCT TWO)
 (ONE*THREE ISA MULTIPLICATION-FACT ARG1 ONE ARG2 THREE PRODUCT THREE)
 (ONE*FOUR ISA MULTIPLICATION-FACT ARG1 ONE ARG2 FOUR PRODUCT FOUR)
 (ONE*FIVE ISA MULTIPLICATION-FACT ARG1 ONE ARG2 FIVE PRODUCT FIVE)
 (ONE*SIX ISA MULTIPLICATION-FACT ARG1 ONE ARG2 SIX PRODUCT SIX)
 (ONE*SEVEN ISA MULTIPLICATION-FACT ARG1 ONE ARG2 SEVEN PRODUCT SEVEN)
 (ONE*EIGHT ISA MULTIPLICATION-FACT ARG1 ONE ARG2 EIGHT PRODUCT EIGHT)
 (ONE*NINE ISA MULTIPLICATION-FACT ARG1 ONE ARG2 NINE PRODUCT NINE)
 (ONE*TEN ISA MULTIPLICATION-FACT ARG1 ONE ARG2 TEN PRODUCT TEN)
 (TWO*ZERO ISA MULTIPLICATION-FACT ARG1 TWO ARG2 ZERO PRODUCT ZERO)
 (TWO*ONE ISA MULTIPLICATION-FACT ARG1 TWO ARG2 ONE PRODUCT TWO)
 (TWO*TWO ISA MULTIPLICATION-FACT ARG1 TWO ARG2 TWO PRODUCT FOUR)
 (TWO*THREE ISA MULTIPLICATION-FACT ARG1 TWO ARG2 THREE PRODUCT SIX)
 (TWO*FOUR ISA MULTIPLICATION-FACT ARG1 TWO ARG2 FOUR PRODUCT EIGHT)
 (TWO*FIVE ISA MULTIPLICATION-FACT ARG1 TWO ARG2 FIVE PRODUCT TEN)
 (TWO*SIX ISA MULTIPLICATION-FACT ARG1 TWO ARG2 SIX PRODUCT TWELVE)
 (TWO*SEVEN ISA MULTIPLICATION-FACT ARG1 TWO ARG2 SEVEN PRODUCT FOURTEEN)
 (TWO*EIGHT ISA MULTIPLICATION-FACT ARG1 TWO ARG2 EIGHT PRODUCT SIXTEEN)
 (TWO*NINE ISA MULTIPLICATION-FACT ARG1 TWO ARG2 NINE PRODUCT EIGHTEEN)
 (TWO*TEN ISA MULTIPLICATION-FACT ARG1 TWO ARG2 TEN PRODUCT TWENTY)
 (THREE*ZERO ISA MULTIPLICATION-FACT ARG1 THREE ARG2 ZERO PRODUCT ZERO)
 (THREE*ONE ISA MULTIPLICATION-FACT ARG1 THREE ARG2 ONE PRODUCT THREE)
 (THREE*TWO ISA MULTIPLICATION-FACT ARG1 THREE ARG2 TWO PRODUCT SIX)
 (THREE*THREE ISA MULTIPLICATION-FACT ARG1 THREE ARG2 THREE PRODUCT NINE)
 (THREE*FOUR ISA MULTIPLICATION-FACT ARG1 THREE ARG2 FOUR PRODUCT TWELVE)
 (THREE*FIVE ISA MULTIPLICATION-FACT ARG1 THREE ARG2 FIVE PRODUCT FIFTEEN)
 (THREE*SIX ISA MULTIPLICATION-FACT ARG1 THREE ARG2 SIX PRODUCT EIGHTEEN)
 (THREE*SEVEN ISA MULTIPLICATION-FACT ARG1 THREE ARG2 SEVEN PRODUCT TWENTY-ONE)
 (THREE*EIGHT ISA MULTIPLICATION-FACT ARG1 THREE ARG2 EIGHT PRODUCT TWENTY-FOUR)
 (THREE*NINE ISA MULTIPLICATION-FACT ARG1 THREE ARG2 NINE PRODUCT TWENTY-SEVEN)
 (THREE*TEN ISA MULTIPLICATION-FACT ARG1 THREE ARG2 TEN PRODUCT THIRTY)
 (FOUR*ZERO ISA MULTIPLICATION-FACT ARG1 FOUR ARG2 ZERO PRODUCT ZERO)
 (FOUR*ONE ISA MULTIPLICATION-FACT ARG1 FOUR ARG2 ONE PRODUCT FOUR)
 (FOUR*TWO ISA MULTIPLICATION-FACT ARG1 FOUR ARG2 TWO PRODUCT EIGHT)
 (FOUR*THREE ISA MULTIPLICATION-FACT ARG1 FOUR ARG2 THREE PRODUCT TWELVE)
 (FOUR*FOUR ISA MULTIPLICATION-FACT ARG1 FOUR ARG2 FOUR PRODUCT SIXTEEN)
 (FOUR*FIVE ISA MULTIPLICATION-FACT ARG1 FOUR ARG2 FIVE PRODUCT TWENTY)
 (FOUR*SIX ISA MULTIPLICATION-FACT ARG1 FOUR ARG2 SIX PRODUCT TWENTY-FOUR)
 (FOUR*SEVEN ISA MULTIPLICATION-FACT ARG1 FOUR ARG2 SEVEN PRODUCT TWENTY-EIGHT)
 (FOUR*EIGHT ISA MULTIPLICATION-FACT ARG1 FOUR ARG2 EIGHT PRODUCT THIRTY-TWO)
 (FOUR*NINE ISA MULTIPLICATION-FACT ARG1 FOUR ARG2 NINE PRODUCT THIRTY-SIX)
 (FOUR*TEN ISA MULTIPLICATION-FACT ARG1 FOUR ARG2 TEN PRODUCT FORTY)
 (FIVE*ZERO ISA MULTIPLICATION-FACT ARG1 FIVE ARG2 ZERO PRODUCT ZERO)
 (FIVE*ONE ISA MULTIPLICATION-FACT ARG1 FIVE ARG2 ONE PRODUCT FIVE)
 (FIVE*TWO ISA MULTIPLICATION-FACT ARG1 FIVE ARG2 TWO PRODUCT TEN)
 (FIVE*THREE ISA MULTIPLICATION-FACT ARG1 FIVE ARG2 THREE PRODUCT FIFTEEN)
 (FIVE*FOUR ISA MULTIPLICATION-FACT ARG1 FIVE ARG2 FOUR PRODUCT TWENTY)
 (FIVE*FIVE ISA MULTIPLICATION-FACT ARG1 FIVE ARG2 FIVE PRODUCT TWENTY-FIVE)
 (FIVE*SIX ISA MULTIPLICATION-FACT ARG1 FIVE ARG2 SIX PRODUCT THIRTY)
 (FIVE*SEVEN ISA MULTIPLICATION-FACT ARG1 FIVE ARG2 SEVEN PRODUCT THIRTY-FIVE)
 (FIVE*EIGHT ISA MULTIPLICATION-FACT ARG1 FIVE ARG2 EIGHT PRODUCT FORTY)
 (FIVE*NINE ISA MULTIPLICATION-FACT ARG1 FIVE ARG2 NINE PRODUCT FORTY-FIVE)
 (FIVE*TEN ISA MULTIPLICATION-FACT ARG1 FIVE ARG2 TEN PRODUCT FIFTY)
 (SIX*ZERO ISA MULTIPLICATION-FACT ARG1 SIX ARG2 ZERO PRODUCT ZERO)
 (SIX*ONE ISA MULTIPLICATION-FACT ARG1 SIX ARG2 ONE PRODUCT SIX)
 (SIX*TWO ISA MULTIPLICATION-FACT ARG1 SIX ARG2 TWO PRODUCT TWELVE)
 (SIX*THREE ISA MULTIPLICATION-FACT ARG1 SIX ARG2 THREE PRODUCT EIGHTEEN)
 (SIX*FOUR ISA MULTIPLICATION-FACT ARG1 SIX ARG2 FOUR PRODUCT TWENTY-FOUR)
 (SIX*FIVE ISA MULTIPLICATION-FACT ARG1 SIX ARG2 FIVE PRODUCT THIRTY)
 (SIX*SIX ISA MULTIPLICATION-FACT ARG1 SIX ARG2 SIX PRODUCT THIRTY-SIX)
 (SIX*SEVEN ISA MULTIPLICATION-FACT ARG1 SIX ARG2 SEVEN PRODUCT FORTY-TWO)
 (SIX*EIGHT ISA MULTIPLICATION-FACT ARG1 SIX ARG2 EIGHT PRODUCT FORTY-EIGHT)
 (SIX*NINE ISA MULTIPLICATION-FACT ARG1 SIX ARG2 NINE PRODUCT FIFTY-FOUR)
 (SIX*TEN ISA MULTIPLICATION-FACT ARG1 SIX ARG2 TEN PRODUCT SIXTY)
 (SEVEN*ZERO ISA MULTIPLICATION-FACT ARG1 SEVEN ARG2 ZERO PRODUCT ZERO)
 (SEVEN*ONE ISA MULTIPLICATION-FACT ARG1 SEVEN ARG2 ONE PRODUCT SEVEN)
 (SEVEN*TWO ISA MULTIPLICATION-FACT ARG1 SEVEN ARG2 TWO PRODUCT FOURTEEN)
 (SEVEN*THREE ISA MULTIPLICATION-FACT ARG1 SEVEN ARG2 THREE PRODUCT TWENTY-ONE)
 (SEVEN*FOUR ISA MULTIPLICATION-FACT ARG1 SEVEN ARG2 FOUR PRODUCT TWENTY-EIGHT)
 (SEVEN*FIVE ISA MULTIPLICATION-FACT ARG1 SEVEN ARG2 FIVE PRODUCT THIRTY-FIVE)
 (SEVEN*SIX ISA MULTIPLICATION-FACT ARG1 SEVEN ARG2 SIX PRODUCT FORTY-TWO)
 (SEVEN*SEVEN ISA MULTIPLICATION-FACT ARG1 SEVEN ARG2 SEVEN PRODUCT FORTY-NINE)
 (SEVEN*EIGHT ISA MULTIPLICATION-FACT ARG1 SEVEN ARG2 EIGHT PRODUCT FIFTY-SIX)
 (SEVEN*NINE ISA MULTIPLICATION-FACT ARG1 SEVEN ARG2 NINE PRODUCT SIXTY-THREE)
 (SEVEN*TEN ISA MULTIPLICATION-FACT ARG1 SEVEN ARG2 TEN PRODUCT SEVENTY)
 (EIGHT*ZERO ISA MULTIPLICATION-FACT ARG1 EIGHT ARG2 ZERO PRODUCT ZERO)
 (EIGHT*ONE ISA MULTIPLICATION-FACT ARG1 EIGHT ARG2 ONE PRODUCT EIGHT)
 (EIGHT*TWO ISA MULTIPLICATION-FACT ARG1 EIGHT ARG2 TWO PRODUCT SIXTEEN)
 (EIGHT*THREE ISA MULTIPLICATION-FACT ARG1 EIGHT ARG2 THREE PRODUCT TWENTY-FOUR)
 (EIGHT*FOUR ISA MULTIPLICATION-FACT ARG1 EIGHT ARG2 FOUR PRODUCT THIRTY-TWO)
 (EIGHT*FIVE ISA MULTIPLICATION-FACT ARG1 EIGHT ARG2 FIVE PRODUCT FORTY)
 (EIGHT*SIX ISA MULTIPLICATION-FACT ARG1 EIGHT ARG2 SIX PRODUCT FORTY-EIGHT)
 (EIGHT*SEVEN ISA MULTIPLICATION-FACT ARG1 EIGHT ARG2 SEVEN PRODUCT FIFTY-SIX)
 (EIGHT*EIGHT ISA MULTIPLICATION-FACT ARG1 EIGHT ARG2 EIGHT PRODUCT SIXTY-FOUR)
 (EIGHT*NINE ISA MULTIPLICATION-FACT ARG1 EIGHT ARG2 NINE PRODUCT SEVENTY-TWO)
 (EIGHT*TEN ISA MULTIPLICATION-FACT ARG1 EIGHT ARG2 TEN PRODUCT EIGHTY)
 (NINE*ZERO ISA MULTIPLICATION-FACT ARG1 NINE ARG2 ZERO PRODUCT ZERO)
 (NINE*ONE ISA MULTIPLICATION-FACT ARG1 NINE ARG2 ONE PRODUCT NINE)
 (NINE*TWO ISA MULTIPLICATION-FACT ARG1 NINE ARG2 TWO PRODUCT EIGHTEEN)
 (NINE*THREE ISA MULTIPLICATION-FACT ARG1 NINE ARG2 THREE PRODUCT TWENTY-SEVEN)
 (NINE*FOUR ISA MULTIPLICATION-FACT ARG1 NINE ARG2 FOUR PRODUCT THIRTY-SIX)
 (NINE*FIVE ISA MULTIPLICATION-FACT ARG1 NINE ARG2 FIVE PRODUCT FORTY-FIVE)
 (NINE*SIX ISA MULTIPLICATION-FACT ARG1 NINE ARG2 SIX PRODUCT FIFTY-FOUR)
 (NINE*SEVEN ISA MULTIPLICATION-FACT ARG1 NINE ARG2 SEVEN PRODUCT SIXTY-THREE)
 (NINE*EIGHT ISA MULTIPLICATION-FACT ARG1 NINE ARG2 EIGHT PRODUCT SEVENTY-TWO)
 (NINE*NINE ISA MULTIPLICATION-FACT ARG1 NINE ARG2 NINE PRODUCT EIGHTY-ONE)
 (NINE*TEN ISA MULTIPLICATION-FACT ARG1 NINE ARG2 TEN PRODUCT NINETY)
 (TEN*ZERO ISA MULTIPLICATION-FACT ARG1 TEN ARG2 ZERO PRODUCT ZERO)
 (TEN*ONE ISA MULTIPLICATION-FACT ARG1 TEN ARG2 ONE PRODUCT TEN)
 (TEN*TWO ISA MULTIPLICATION-FACT ARG1 TEN ARG2 TWO PRODUCT TWENTY)
 (TEN*THREE ISA MULTIPLICATION-FACT ARG1 TEN ARG2 THREE PRODUCT THIRTY)
 (TEN*FOUR ISA MULTIPLICATION-FACT ARG1 TEN ARG2 FOUR PRODUCT FORTY)
 (TEN*FIVE ISA MULTIPLICATION-FACT ARG1 TEN ARG2 FIVE PRODUCT FIFTY)
 (TEN*SIX ISA MULTIPLICATION-FACT ARG1 TEN ARG2 SIX PRODUCT SIXTY)
 (TEN*SEVEN ISA MULTIPLICATION-FACT ARG1 TEN ARG2 SEVEN PRODUCT SEVENTY)
 (TEN*EIGHT ISA MULTIPLICATION-FACT ARG1 TEN ARG2 EIGHT PRODUCT EIGHTY)
 (TEN*NINE ISA MULTIPLICATION-FACT ARG1 TEN ARG2 NINE PRODUCT NINETY)
 (TEN*TEN ISA MULTIPLICATION-FACT ARG1 TEN ARG2 TEN PRODUCT ONE-HUNDRED))
;;; end of the integers file


(goal-focus goal)

(p Encode-Equation
   =goal>
      isa solve-equation
      equation =eq
      state nil
   =element>
      isa element
      position sixth
      value =value
   -  value end
   =strategy>
      isa strategy
      value not-end
      type =plan
==>
   =goal>
      state =plan)

(spp-fct (list 'Encode-Equation :effort *move-attention*))

(p Calculate-First
    =goal>
       isa solve-equation
       first =v1
       third =v2
   =fact>
      isa multiplication-fact 
      arg1 =v1
      arg2 =ans
      product =v2
==>
   =goal>
      first nil
      third =ans)

(p Encode-First
    =goal>
       isa solve-equation
       first nil
       third nil
   =element>
      isa element
      position first
      value =value
!eval! (update-equ-pre)
==>
   =goal>
      first =value)

(spp-fct (list 'Encode-First :effort *move-attention*))

(p Encode-Second-Complexa
    =goal>
       isa solve-equation
       first =val
       second nil
       state complexa
   =element>
      isa element
      position fourth
      value =value
!eval! (update-equ-pre)
==>
   =goal>
      second =value)

(spp-fct (list 'Encode-Second-Complexa :effort *move-attention*))

(p Encode-Third-Complexa
    =goal>
       isa solve-equation
       second =val
       third nil
       state complexa
   =element>
      isa element
      position sixth
      value =value
!eval! (update-equ-pre)
==>
   =goal>
      third =value)

(spp-fct (list 'Encode-Third-Complexa :effort *move-attention*))

(p Encode-Third-Complexb
    =goal>
       isa solve-equation
       first =val
       third nil
       state complexb
   =element>
      isa element
      position sixth
      value =value
!eval! (update-equ-pre)
==>
   =goal>
      third =value)

(spp-fct (list 'Encode-third-Complexb :effort *move-attention*))

(p Encode-Second-Complexb
    =goal>
       isa solve-equation
       third =val
       first nil
       second nil
       fourth nil
       state complexb
   =element>
      isa element
      position fourth
      value =value
!eval! (update-equ-pre)
==>
   =goal>
      second =value)

(spp-fct (list 'Encode-Second-Complexb :effort *move-attention*))



(p Calculate-Second
    =goal>
       isa solve-equation
       second =v2
       fourth =v1
   =fact>
      isa multiplication-fact 
      arg1 =v1
      arg2 =ans
      product =v2
==>
   =goal>
      second nil
      fourth =ans)

(p Calculate-Third
    =goal>
       isa solve-equation
       second nil
       third =v1
       fourth =v2
       answer nil
   =fact>
      isa multiplication-fact 
      arg1 =v1
      arg2 =v2
      product =ans
==>
   =goal>
      answer =ans
      state tens)



(p Encode-Fourth
    =goal>
       isa solve-equation
       first nil
       second =val1
       third =val2
       fourth nil
   =element>
      isa element
      position eighth
      value =value
!eval! (update-equ-pre)
==>
   =goal>
      fourth =value)

(spp-fct (list 'Encode-Fourth :effort *move-attention*))


(p type-tens
    =goal>
       isa solve-equation
       state tens
       answer =number
!eval! (update-equ-pre)
==>
    =goal>
      state ones)

(spp type-tens :effort .25)

(p type-ones
    =goal>
       isa solve-equation
       state ones
       answer =number
==>
    =goal>
      state return)

(spp type-ones :effort .25)

(p type-return
    =goal>
       isa solve-equation
       state return
==>
!pop!)

(spp type-return :effort .25)