;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ; ; project: despina ; ; File: model-tm.lisp ; ; Author: jimmydavies@usa.net (Jim Davies) ; ; Version: SIRRINE2 Beta 0.5, 12/12/98 ; (in-package despina) ;; Here is the top level task of the demo. ;; length and schedules are variables in ;; the initial ks. They are task concepts. ; Eventually this task will also call a calculate method in the by slot. (deftask solve-math-problem-task :input (first-integer-task-concept math-operator-task-concept second-integer-task-concept) :output (sum-task-concept) :by (retrieve-math-fact count-up-method)) ;; TEMP (deftask count-up-task :input (first-integer-task-concept math-operator-task-concept second-integer-task-concept) :output (sum-task-concept) :by (count-up-method)) ; I think the task-concepts should be defined near the tasks that use ; them. (deftask-concept first-integer-task-concept :domain-concept integer-domain-concept) (deftask-concept second-integer-task-concept :domain-concept integer-domain-concept) (deftask-concept math-operator-task-concept :domain-concept math-operator-domain-concept) ;(deftask-concept math-question-task-concept ; :domain-concept math-question-domain-concept) (deftask-concept math-fact-task-concept :domain-concept math-fact-domain-concept) (deftask retrieve-math-fact-table-task :input (first-integer-task-concept math-operator-task-concept second-integer-task-concept) :output (math-fact-task-concept) :by retrieve-math-fact-table-primitive) ;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; get-next-integer TASK ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;; (deftask get-next-integer-task :input (first-integer-task-concept) :output (second-integer-task-concept) :by get-next-integer-table-primitive) ;; SET-SUM (deftask set-sum-task :input (first-integer-task-concept) :output (sum-task-concept) :by set-sum-lisp-primitive) (deflisp-primitive set-sum-lisp-primitive :procedure set-sum-procedure) (define-procedure set-sum-procedure (first-integer) (sum) ; bind value of first-integer to sum ((sum first-integer)) t) ; task concepts (deftask-concept sum-task-concept :domain-concept integer-domain-concept) ;; SET-HOW-MANY-SO-FAR (deftask set-how-many-so-far-task :input () :output (how-many-so-far-task-concept) :by set-how-many-so-far-lisp-primitive) (deflisp-primitive set-how-many-so-far-lisp-primitive :procedure set-how-many-so-far-procedure) (define-procedure set-how-many-so-far-procedure () (how-many-so-far) ((how-many-so-far 'zero)) t) ; task concepts (deftask-concept how-many-so-far-task-concept :domain-concept integer-domain-concept) ;; SET-COUNT-UP-TO (deftask set-count-up-to-task :input (second-integer-task-concept) :output (count-up-to-task-concept) :by set-count-up-to-lisp-primitive) (deflisp-primitive set-count-up-to-lisp-primitive :procedure set-count-up-to-procedure) (define-procedure set-count-up-to-procedure (second-integer) (count-up-to-integer) ((count-up-to-integer second-integer)) t) ; task concepts (deftask-concept count-up-to-task-concept :domain-concept integer-domain-concept) ;; CONFIRM-HOW-MANY-SO-FAR-EQUALS-COUNT-UP-TO (deftask confirm-how-many-so-far-equals-count-up-to-task :input (how-many-so-far-task-concept count-up-to-task-concept) :output () :by how-many-so-far-equals-count-up-to-p-lisp-primitive) (deflisp-primitive how-many-so-far-equals-count-up-to-p-lisp-primitive :procedure how-many-so-far-equals-count-up-to-p-procedure) (define-procedure how-many-so-far-equals-count-up-to-p-procedure (how-many-so-far-task-concept count-up-to-task-concept) () () (eq how-many-so-far-task-concept count-up-to-task-concept)) ;; INCREMENT-SUM (deftask increment-sum-task :input (sum-task-concept) :output (sum-task-concept) :by get-next-integer-table-primitive) ;; INCREMENT-HOW-MANY-SO-FAR (deftask increment-how-many-so-far-task :input (how-many-so-far-task-concept) :output (how-many-so-far-task-concept) :by get-next-integer-table-primitive) ;; EXTRACT-SUM-FROM-FACT (deftask extract-sum-from-fact-task :input (math-fact-task-concept) :output (sum-task-concept) :by extract-sum-from-fact-lisp-primitive) (deflisp-primitive extract-sum-from-fact-lisp-primitive :procedure extract-sum-from-fact-procedure) (define-procedure extract-sum-from-fact-procedure (math-fact-task-concept) (sum-task-concept) ((sum-task-concept (fourth math-fact-task-concept))) t) ;; ;; METHODS ;; (defmmethod retrieve-math-fact :transitions (deftransition (:initial :start :subtask retrieve-math-fact-table-task :succeed s1 :fail :fail) (:initial s1 :subtask extract-sum-from-fact-task :succeed :succeed :fail :fail))) (defmmethod count-up-method :transitions (deftransition ;; normally you would find the min here and make ;; that the start sum. For now we will assume that ;; the minimum number is given second. So set-sum ;; sets the sum to the first argument. (:initial :start :subtask set-sum-task :succeed s1 :fail ) ; how many so far starts at zero. (:initial s1 :subtask set-how-many-so-far-task :succeed s2 :fail ) ; set-count-up-to sets count-up-to to the second arg (:initial s2 :subtask set-count-up-to-task :succeed s3 :fail ) ; when they are equal, the sum is correct (:initial s3 :subtask confirm-how-many-so-far-equals-count-up-to-task :succeed :succeed :fail s4) ; if the sum is not correct, then increment one to the sum. (:initial s4 :subtask increment-sum-task :succeed s5 :fail :fail) ; Also increment how-many-so-far. ; Then check to see if the sum is correct again. (:initial s5 :subtask increment-how-many-so-far-task :succeed s3 :fail :fail))) ;; ;; PRIMITIVES (deftable-primitive get-next-integer-table-primitive :entries (deftable-entry (:input (zero-concept-instance) :output (one-concept-instance)) (:input (one-concept-instance) :output (two-concept-instance)) (:input (two-concept-instance) :output (three-concept-instance)) (:input (three-concept-instance) :output (four-concept-instance)) (:input (four-concept-instance) :output (five-concept-instance)) (:input (five-concept-instance) :output (six-concept-instance)) (:input (six-concept-instance) :output (seven-concept-instance)) (:input (seven-concept-instance) :output (eight-concept-instance)) (:input (eight-concept-instance) :output (nine-concept-instance)) (:input (nine-concept-instance) :output (ten-concept-instance)) (:input (ten-concept-instance) :output (eleven-concept-instance)) (:input (eleven-concept-instance) :output (twelve-concept-instance))) (:input (twelve-concept-instance) :output (thirteen-concept-instance)) (:input (thirteen-concept-instance) :output (fourteen-concept-instance)) (:input (fourteen-concept-instance) :output (fifteen-concept-instance)) (:input (fifteen-concept-instance) :output (sixteen-concept-instance)) (:input (sixteen-concept-instance) :output (seventeen-concept-instance)) (:input (seventeen-concept-instance) :output (eightteen-concept-instance)) (:input (eightteen-concept-instance) :output (nineteen-concept-instance)) (:input (nineteen-concept-instance) :output (twenty-concept-instance))) (deftable-primitive retrieve-math-fact-table-primitive :entries (deftable-entry (:input (zero-concept-instance plus-concept-instance zero-concept-instance) :output (math-fact_0+0=0-concept-instance)) (:input (zero-concept-instance minus-concept-instance zero-concept-instance) :output (math-fact_0-0=0-concept-instance)) (:input (zero-concept-instance plus-concept-instance one-concept-instance) :output (math-fact_0+1=1-concept-instance)) (:input (zero-concept-instance plus-concept-instance two-concept-instance) :output (math-fact_0+2=2-concept-instance)) (:input (zero-concept-instance plus-concept-instance three-concept-instance) :output (math-fact_0+3=3-concept-instance)) (:input (zero-concept-instance plus-concept-instance four-concept-instance) :output (math-fact_0+4=4-concept-instance)) (:input (zero-concept-instance plus-concept-instance five-concept-instance) :output (math-fact_0+5=5-concept-instance)) (:input (zero-concept-instance plus-concept-instance six-concept-instance) :output (math-fact_0+6=6-concept-instance)) (:input (zero-concept-instance plus-concept-instance seven-concept-instance) :output (math-fact_0+7=7-concept-instance)) (:input (zero-concept-instance plus-concept-instance eight-concept-instance) :output (math-fact_0+8=8-concept-instance)) (:input (zero-concept-instance plus-concept-instance nine-concept-instance) :output (math-fact_0+9=9-concept-instance)) (:input (zero-concept-instance plus-concept-instance ten-concept-instance) :output (math-fact_0+10=10-concept-instance)) (:input (one-concept-instance plus-concept-instance zero-concept-instance) :output (math-fact_1+0=1-concept-instance)) (:input (one-concept-instance minus-concept-instance zero-concept-instance) :output (math-fact_1-0=1-concept-instance)) (:input (one-concept-instance plus-concept-instance one-concept-instance) :output (math-fact_1+1=2-concept-instance)) (:input (one-concept-instance minus-concept-instance one-concept-instance) :output (math-fact_1-1=0-concept-instance)) (:input (one-concept-instance plus-concept-instance two-concept-instance) :output (math-fact_1+2=3-concept-instance)) (:input (one-concept-instance plus-concept-instance three-concept-instance) :output (math-fact_1+3=4-concept-instance)) (:input (one-concept-instance plus-concept-instance four-concept-instance) :output (math-fact_1+4=5-concept-instance)) (:input (one-concept-instance plus-concept-instance five-concept-instance) :output (math-fact_1+5=6-concept-instance)) (:input (one-concept-instance plus-concept-instance six-concept-instance) :output (math-fact_1+6=7-concept-instance)) (:input (one-concept-instance plus-concept-instance seven-concept-instance) :output (math-fact_1+7=8-concept-instance)) (:input (one-concept-instance plus-concept-instance eight-concept-instance) :output (math-fact_1+8=9-concept-instance)) (:input (one-concept-instance plus-concept-instance nine-concept-instance) :output (math-fact_1+9=10-concept-instance)) (:input (one-concept-instance plus-concept-instance ten-concept-instance) :output (math-fact_1+10=11-concept-instance)) (:input (two-concept-instance plus-concept-instance zero-concept-instance) :output (math-fact_2+0=2-concept-instance)) (:input (two-concept-instance minus-concept-instance zero-concept-instance) :output (math-fact_2-0=2-concept-instance)) (:input (two-concept-instance plus-concept-instance one-concept-instance) :output (math-fact_2+1=3-concept-instance)) (:input (two-concept-instance minus-concept-instance one-concept-instance) :output (math-fact_2-1=1-concept-instance)) ; (:input (two-concept-instance ; plus-concept-instance ; two-concept-instance) ; :output (math-fact_2+2=4-concept-instance)) (:input (two-concept-instance minus-concept-instance two-concept-instance) :output (math-fact_2-2=0-concept-instance)) (:input (two-concept-instance plus-concept-instance three-concept-instance) :output (math-fact_2+3=5-concept-instance)) (:input (two-concept-instance plus-concept-instance four-concept-instance) :output (math-fact_2+4=6-concept-instance)) (:input (two-concept-instance plus-concept-instance five-concept-instance) :output (math-fact_2+5=7-concept-instance)) (:input (two-concept-instance plus-concept-instance six-concept-instance) :output (math-fact_2+6=8-concept-instance)) (:input (two-concept-instance plus-concept-instance seven-concept-instance) :output (math-fact_2+7=9-concept-instance)) (:input (two-concept-instance plus-concept-instance eight-concept-instance) :output (math-fact_2+8=10-concept-instance)) (:input (two-concept-instance plus-concept-instance nine-concept-instance) :output (math-fact_2+9=11-concept-instance)) (:input (two-concept-instance plus-concept-instance ten-concept-instance) :output (math-fact_2+10=12-concept-instance)) (:input (three-concept-instance plus-concept-instance zero-concept-instance) :output (math-fact_3+0=3-concept-instance)) (:input (three-concept-instance minus-concept-instance zero-concept-instance) :output (math-fact_3-0=3-concept-instance)) (:input (three-concept-instance plus-concept-instance one-concept-instance) :output (math-fact_3+1=4-concept-instance)) (:input (three-concept-instance minus-concept-instance one-concept-instance) :output (math-fact_3-1=2-concept-instance)) (:input (three-concept-instance plus-concept-instance two-concept-instance) :output (math-fact_3+2=5-concept-instance)) (:input (three-concept-instance minus-concept-instance two-concept-instance) :output (math-fact_3-2=1-concept-instance)) (:input (three-concept-instance plus-concept-instance three-concept-instance) :output (math-fact_3+3=6-concept-instance)) (:input (three-concept-instance minus-concept-instance three-concept-instance) :output (math-fact_3-3=0-concept-instance)) (:input (three-concept-instance plus-concept-instance four-concept-instance) :output (math-fact_3+4=7-concept-instance)) (:input (three-concept-instance plus-concept-instance five-concept-instance) :output (math-fact_3+5=8-concept-instance)) (:input (three-concept-instance plus-concept-instance six-concept-instance) :output (math-fact_3+6=9-concept-instance)) (:input (three-concept-instance plus-concept-instance seven-concept-instance) :output (math-fact_3+7=10-concept-instance)) (:input (three-concept-instance plus-concept-instance eight-concept-instance) :output (math-fact_3+8=11-concept-instance)) (:input (three-concept-instance plus-concept-instance nine-concept-instance) :output (math-fact_3+9=12-concept-instance)) (:input (three-concept-instance plus-concept-instance ten-concept-instance) :output (math-fact_3+10=13-concept-instance)) (:input (four-concept-instance plus-concept-instance zero-concept-instance) :output (math-fact_4+0=4-concept-instance)) (:input (four-concept-instance minus-concept-instance zero-concept-instance) :output (math-fact_4-0=4-concept-instance)) (:input (four-concept-instance plus-concept-instance one-concept-instance) :output (math-fact_4+1=5-concept-instance)) (:input (four-concept-instance minus-concept-instance one-concept-instance) :output (math-fact_4-1=3-concept-instance)) (:input (four-concept-instance plus-concept-instance two-concept-instance) :output (math-fact_4+2=6-concept-instance)) (:input (four-concept-instance minus-concept-instance two-concept-instance) :output (math-fact_4-2=2-concept-instance)) (:input (four-concept-instance plus-concept-instance three-concept-instance) :output (math-fact_4+3=7-concept-instance)) (:input (four-concept-instance minus-concept-instance three-concept-instance) :output (math-fact_4-3=1-concept-instance)) (:input (four-concept-instance plus-concept-instance four-concept-instance) :output (math-fact_4+4=8-concept-instance)) (:input (four-concept-instance minus-concept-instance four-concept-instance) :output (math-fact_4-4=0-concept-instance)) (:input (four-concept-instance plus-concept-instance five-concept-instance) :output (math-fact_4+5=9-concept-instance)) (:input (four-concept-instance plus-concept-instance six-concept-instance) :output (math-fact_4+6=10-concept-instance)) (:input (four-concept-instance plus-concept-instance seven-concept-instance) :output (math-fact_4+7=11-concept-instance)) (:input (four-concept-instance plus-concept-instance eight-concept-instance) :output (math-fact_4+8=12-concept-instance)) (:input (four-concept-instance plus-concept-instance nine-concept-instance) :output (math-fact_4+9=13-concept-instance)) (:input (four-concept-instance plus-concept-instance ten-concept-instance) :output (math-fact_4+10=14-concept-instance)) (:input (five-concept-instance plus-concept-instance zero-concept-instance) :output (math-fact_5+0=5-concept-instance)) (:input (five-concept-instance minus-concept-instance zero-concept-instance) :output (math-fact_5-0=5-concept-instance)) (:input (five-concept-instance plus-concept-instance one-concept-instance) :output (math-fact_5+1=6-concept-instance)) (:input (five-concept-instance minus-concept-instance one-concept-instance) :output (math-fact_5-1=4-concept-instance)) (:input (five-concept-instance plus-concept-instance two-concept-instance) :output (math-fact_5+2=7-concept-instance)) (:input (five-concept-instance minus-concept-instance two-concept-instance) :output (math-fact_5-2=3-concept-instance)) (:input (five-concept-instance plus-concept-instance three-concept-instance) :output (math-fact_5+3=8-concept-instance)) (:input (five-concept-instance minus-concept-instance three-concept-instance) :output (math-fact_5-3=2-concept-instance)) (:input (five-concept-instance plus-concept-instance four-concept-instance) :output (math-fact_5+4=9-concept-instance)) (:input (five-concept-instance minus-concept-instance four-concept-instance) :output (math-fact_5-4=1-concept-instance)) (:input (five-concept-instance plus-concept-instance five-concept-instance) :output (math-fact_5+5=10-concept-instance)) (:input (five-concept-instance minus-concept-instance five-concept-instance) :output (math-fact_5-5=0-concept-instance)) (:input (five-concept-instance plus-concept-instance six-concept-instance) :output (math-fact_5+6=11-concept-instance)) (:input (five-concept-instance plus-concept-instance seven-concept-instance) :output (math-fact_5+7=12-concept-instance)) (:input (five-concept-instance plus-concept-instance eight-concept-instance) :output (math-fact_5+8=13-concept-instance)) (:input (five-concept-instance plus-concept-instance nine-concept-instance) :output (math-fact_5+9=14-concept-instance)) (:input (five-concept-instance plus-concept-instance ten-concept-instance) :output (math-fact_5+10=15-concept-instance)) (:input (six-concept-instance plus-concept-instance zero-concept-instance) :output (math-fact_6+0=6-concept-instance)) (:input (six-concept-instance minus-concept-instance zero-concept-instance) :output (math-fact_6-0=6-concept-instance)) (:input (six-concept-instance plus-concept-instance one-concept-instance) :output (math-fact_6+1=7-concept-instance)) (:input (six-concept-instance minus-concept-instance one-concept-instance) :output (math-fact_6-1=5-concept-instance)) (:input (six-concept-instance plus-concept-instance two-concept-instance) :output (math-fact_6+2=8-concept-instance)) (:input (six-concept-instance minus-concept-instance two-concept-instance) :output (math-fact_6-2=4-concept-instance)) (:input (six-concept-instance plus-concept-instance three-concept-instance) :output (math-fact_6+3=9-concept-instance)) (:input (six-concept-instance minus-concept-instance three-concept-instance) :output (math-fact_6-3=3-concept-instance)) (:input (six-concept-instance plus-concept-instance four-concept-instance) :output (math-fact_6+4=10-concept-instance)) (:input (six-concept-instance minus-concept-instance four-concept-instance) :output (math-fact_6-4=2-concept-instance)) (:input (six-concept-instance plus-concept-instance five-concept-instance) :output (math-fact_6+5=11-concept-instance)) (:input (six-concept-instance minus-concept-instance five-concept-instance) :output (math-fact_6-5=1-concept-instance)) (:input (six-concept-instance plus-concept-instance six-concept-instance) :output (math-fact_6+6=12-concept-instance)) (:input (six-concept-instance minus-concept-instance six-concept-instance) :output (math-fact_6-6=0-concept-instance)) (:input (six-concept-instance plus-concept-instance seven-concept-instance) :output (math-fact_6+7=13-concept-instance)) (:input (six-concept-instance plus-concept-instance eight-concept-instance) :output (math-fact_6+8=14-concept-instance)) (:input (six-concept-instance plus-concept-instance nine-concept-instance) :output (math-fact_6+9=15-concept-instance)) (:input (six-concept-instance plus-concept-instance ten-concept-instance) :output (math-fact_6+10=16-concept-instance)) (:input (seven-concept-instance plus-concept-instance zero-concept-instance) :output (math-fact_7+0=7-concept-instance)) (:input (seven-concept-instance minus-concept-instance zero-concept-instance) :output (math-fact_7-0=7-concept-instance)) (:input (seven-concept-instance plus-concept-instance one-concept-instance) :output (math-fact_7+1=8-concept-instance)) (:input (seven-concept-instance minus-concept-instance one-concept-instance) :output (math-fact_7-1=6-concept-instance)) (:input (seven-concept-instance plus-concept-instance two-concept-instance) :output (math-fact_7+2=9-concept-instance)) (:input (seven-concept-instance minus-concept-instance two-concept-instance) :output (math-fact_7-2=5-concept-instance)) (:input (seven-concept-instance plus-concept-instance three-concept-instance) :output (math-fact_7+3=10-concept-instance)) (:input (seven-concept-instance minus-concept-instance three-concept-instance) :output (math-fact_7-3=4-concept-instance)) (:input (seven-concept-instance plus-concept-instance four-concept-instance) :output (math-fact_7+4=11-concept-instance)) (:input (seven-concept-instance minus-concept-instance four-concept-instance) :output (math-fact_7-4=3-concept-instance)) (:input (seven-concept-instance plus-concept-instance five-concept-instance) :output (math-fact_7+5=12-concept-instance)) (:input (seven-concept-instance minus-concept-instance five-concept-instance) :output (math-fact_7-5=2-concept-instance)) (:input (seven-concept-instance plus-concept-instance six-concept-instance) :output (math-fact_7+6=13-concept-instance)) (:input (seven-concept-instance minus-concept-instance six-concept-instance) :output (math-fact_7-6=1-concept-instance)) (:input (seven-concept-instance plus-concept-instance seven-concept-instance) :output (math-fact_7+7=14-concept-instance)) (:input (seven-concept-instance minus-concept-instance seven-concept-instance) :output (math-fact_7-7=0-concept-instance)) (:input (seven-concept-instance plus-concept-instance eight-concept-instance) :output (math-fact_7+8=15-concept-instance)) (:input (seven-concept-instance plus-concept-instance nine-concept-instance) :output (math-fact_7+9=16-concept-instance)) (:input (seven-concept-instance plus-concept-instance ten-concept-instance) :output (math-fact_7+10=17-concept-instance)) (:input (eight-concept-instance plus-concept-instance zero-concept-instance) :output (math-fact_8+0=8-concept-instance)) (:input (eight-concept-instance minus-concept-instance zero-concept-instance) :output (math-fact_8-0=8-concept-instance)) (:input (eight-concept-instance plus-concept-instance one-concept-instance) :output (math-fact_8+1=9-concept-instance)) (:input (eight-concept-instance minus-concept-instance one-concept-instance) :output (math-fact_8-1=7-concept-instance)) (:input (eight-concept-instance plus-concept-instance two-concept-instance) :output (math-fact_8+2=10-concept-instance)) (:input (eight-concept-instance minus-concept-instance two-concept-instance) :output (math-fact_8-2=6-concept-instance)) (:input (eight-concept-instance plus-concept-instance three-concept-instance) :output (math-fact_8+3=11-concept-instance)) (:input (eight-concept-instance minus-concept-instance three-concept-instance) :output (math-fact_8-3=5-concept-instance)) (:input (eight-concept-instance plus-concept-instance four-concept-instance) :output (math-fact_8+4=12-concept-instance)) (:input (eight-concept-instance minus-concept-instance four-concept-instance) :output (math-fact_8-4=4-concept-instance)) (:input (eight-concept-instance plus-concept-instance five-concept-instance) :output (math-fact_8+5=13-concept-instance)) (:input (eight-concept-instance minus-concept-instance five-concept-instance) :output (math-fact_8-5=3-concept-instance)) (:input (eight-concept-instance plus-concept-instance six-concept-instance) :output (math-fact_8+6=14-concept-instance)) (:input (eight-concept-instance minus-concept-instance six-concept-instance) :output (math-fact_8-6=2-concept-instance)) (:input (eight-concept-instance plus-concept-instance seven-concept-instance) :output (math-fact_8+7=15-concept-instance)) (:input (eight-concept-instance minus-concept-instance seven-concept-instance) :output (math-fact_8-7=1-concept-instance)) (:input (eight-concept-instance plus-concept-instance eight-concept-instance) :output (math-fact_8+8=16-concept-instance)) (:input (eight-concept-instance minus-concept-instance eight-concept-instance) :output (math-fact_8-8=0-concept-instance)) (:input (eight-concept-instance plus-concept-instance nine-concept-instance) :output (math-fact_8+9=17-concept-instance)) (:input (eight-concept-instance plus-concept-instance ten-concept-instance) :output (math-fact_8+10=18-concept-instance)) (:input (nine-concept-instance plus-concept-instance zero-concept-instance) :output (math-fact_9+0=9-concept-instance)) (:input (nine-concept-instance minus-concept-instance zero-concept-instance) :output (math-fact_9-0=9-concept-instance)) (:input (nine-concept-instance plus-concept-instance one-concept-instance) :output (math-fact_9+1=10-concept-instance)) (:input (nine-concept-instance minus-concept-instance one-concept-instance) :output (math-fact_9-1=8-concept-instance)) (:input (nine-concept-instance plus-concept-instance two-concept-instance) :output (math-fact_9+2=11-concept-instance)) (:input (nine-concept-instance minus-concept-instance two-concept-instance) :output (math-fact_9-2=7-concept-instance)) (:input (nine-concept-instance plus-concept-instance three-concept-instance) :output (math-fact_9+3=12-concept-instance)) (:input (nine-concept-instance minus-concept-instance three-concept-instance) :output (math-fact_9-3=6-concept-instance)) (:input (nine-concept-instance plus-concept-instance four-concept-instance) :output (math-fact_9+4=13-concept-instance)) (:input (nine-concept-instance minus-concept-instance four-concept-instance) :output (math-fact_9-4=5-concept-instance)) (:input (nine-concept-instance plus-concept-instance five-concept-instance) :output (math-fact_9+5=14-concept-instance)) (:input (nine-concept-instance minus-concept-instance five-concept-instance) :output (math-fact_9-5=4-concept-instance)) (:input (nine-concept-instance plus-concept-instance six-concept-instance) :output (math-fact_9+6=15-concept-instance)) (:input (nine-concept-instance minus-concept-instance six-concept-instance) :output (math-fact_9-6=3-concept-instance)) (:input (nine-concept-instance plus-concept-instance seven-concept-instance) :output (math-fact_9+7=16-concept-instance)) (:input (nine-concept-instance minus-concept-instance seven-concept-instance) :output (math-fact_9-7=2-concept-instance)) (:input (nine-concept-instance plus-concept-instance eight-concept-instance) :output (math-fact_9+8=17-concept-instance)) (:input (nine-concept-instance minus-concept-instance eight-concept-instance) :output (math-fact_9-8=1-concept-instance)) (:input (nine-concept-instance plus-concept-instance nine-concept-instance) :output (math-fact_9+9=18-concept-instance)) (:input (nine-concept-instance minus-concept-instance nine-concept-instance) :output (math-fact_9-9=0-concept-instance)) (:input (nine-concept-instance plus-concept-instance ten-concept-instance) :output (math-fact_9+10=19-concept-instance)) (:input (ten-concept-instance plus-concept-instance zero-concept-instance) :output (math-fact_10+0=10-concept-instance)) (:input (ten-concept-instance minus-concept-instance zero-concept-instance) :output (math-fact_10-0=10-concept-instance)) (:input (ten-concept-instance plus-concept-instance one-concept-instance) :output (math-fact_10+1=11-concept-instance)) (:input (ten-concept-instance minus-concept-instance one-concept-instance) :output (math-fact_10-1=9-concept-instance)) (:input (ten-concept-instance plus-concept-instance two-concept-instance) :output (math-fact_10+2=12-concept-instance)) (:input (ten-concept-instance minus-concept-instance two-concept-instance) :output (math-fact_10-2=8-concept-instance)) (:input (ten-concept-instance plus-concept-instance three-concept-instance) :output (math-fact_10+3=13-concept-instance)) (:input (ten-concept-instance minus-concept-instance three-concept-instance) :output (math-fact_10-3=7-concept-instance)) (:input (ten-concept-instance plus-concept-instance four-concept-instance) :output (math-fact_10+4=14-concept-instance)) (:input (ten-concept-instance minus-concept-instance four-concept-instance) :output (math-fact_10-4=6-concept-instance)) (:input (ten-concept-instance plus-concept-instance five-concept-instance) :output (math-fact_10+5=15-concept-instance)) (:input (ten-concept-instance minus-concept-instance five-concept-instance) :output (math-fact_10-5=5-concept-instance)) (:input (ten-concept-instance plus-concept-instance six-concept-instance) :output (math-fact_10+6=16-concept-instance)) (:input (ten-concept-instance minus-concept-instance six-concept-instance) :output (math-fact_10-6=4-concept-instance)) (:input (ten-concept-instance plus-concept-instance seven-concept-instance) :output (math-fact_10+7=17-concept-instance)) (:input (ten-concept-instance minus-concept-instance seven-concept-instance) :output (math-fact_10-7=3-concept-instance)) (:input (ten-concept-instance plus-concept-instance eight-concept-instance) :output (math-fact_10+8=18-concept-instance)) (:input (ten-concept-instance minus-concept-instance eight-concept-instance) :output (math-fact_10-8=2-concept-instance)) (:input (ten-concept-instance plus-concept-instance nine-concept-instance) :output (math-fact_10+9=19-concept-instance)) (:input (ten-concept-instance minus-concept-instance nine-concept-instance) :output (math-fact_10-9=1-concept-instance)) (:input (ten-concept-instance plus-concept-instance ten-concept-instance) :output (math-fact_10+10=20-concept-instance)) (:input (ten-concept-instance minus-concept-instance ten-concept-instance) :output (math-fact_10-10=0-concept-instance))))