;;;;;;;;;;;;;;;;;
;; MATH FACTS  ;;
;;;;;;;;;;;;;;;;;


;; all facts are represented here except for 2+2. 
;; if you ask the system to do 2+2 it will have to count.
;; That is what the main-demo does.

(defconcept-instance math-fact_0+0=0-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_0+0=0-value)
(setf fact_0+0=0-value '(zero plus zero zero))

(defconcept-instance math-fact_0-0=0-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_0-0=0-value)
(setf fact_0-0=0-value '(zero minus zero zero))

(defconcept-instance math-fact_0+1=1-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_0+1=1-value)
(setf fact_0+1=1-value '(zero plus one one))

(defconcept-instance math-fact_0+2=2-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_0+2=2-value)
(setf fact_0+2=2-value '(zero plus two two))

(defconcept-instance math-fact_0+3=3-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_0+3=3-value)
(setf fact_0+3=3-value '(zero plus three three))

(defconcept-instance math-fact_0+4=4-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_0+4=4-value)
(setf fact_0+4=4-value '(zero plus four four))

(defconcept-instance math-fact_0+5=5-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_0+5=5-value)
(setf fact_0+5=5-value '(zero plus five five))

(defconcept-instance math-fact_0+6=6-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_0+6=6-value)
(setf fact_0+6=6-value '(zero plus six six))

(defconcept-instance math-fact_0+7=7-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_0+7=7-value)
(setf fact_0+7=7-value '(zero plus seven seven))

(defconcept-instance math-fact_0+8=8-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_0+8=8-value)
(setf fact_0+8=8-value '(zero plus eight eight))

(defconcept-instance math-fact_0+9=9-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_0+9=9-value)
(setf fact_0+9=9-value '(zero plus nine nine))

(defconcept-instance math-fact_0+10=10-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_0+10=10-value)
(setf fact_0+10=10-value '(zero plus ten ten))

(defconcept-instance math-fact_1+0=1-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_1+0=1-value)
(setf fact_1+0=1-value '(one plus zero one))

(defconcept-instance math-fact_1-0=1-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_1-0=1-value)
(setf fact_1-0=1-value '(one minus zero one))

(defconcept-instance math-fact_1+1=2-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_1+1=2-value)
(setf fact_1+1=2-value '(one plus one two))

(defconcept-instance math-fact_1-1=0-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_1-1=0-value)
(setf fact_1-1=0-value '(one minus one zero))

(defconcept-instance math-fact_1+2=3-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_1+2=3-value)
(setf fact_1+2=3-value '(one plus two three))

(defconcept-instance math-fact_1+3=4-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_1+3=4-value)
(setf fact_1+3=4-value '(one plus three four))

(defconcept-instance math-fact_1+4=5-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_1+4=5-value)
(setf fact_1+4=5-value '(one plus four five))

(defconcept-instance math-fact_1+5=6-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_1+5=6-value)
(setf fact_1+5=6-value '(one plus five six))

(defconcept-instance math-fact_1+6=7-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_1+6=7-value)
(setf fact_1+6=7-value '(one plus six seven))

(defconcept-instance math-fact_1+7=8-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_1+7=8-value)
(setf fact_1+7=8-value '(one plus seven eight))

(defconcept-instance math-fact_1+8=9-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_1+8=9-value)
(setf fact_1+8=9-value '(one plus eight nine))

(defconcept-instance math-fact_1+9=10-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_1+9=10-value)
(setf fact_1+9=10-value '(one plus nine ten))

(defconcept-instance math-fact_1+10=11-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_1+10=11-value)
(setf fact_1+10=11-value '(one plus ten eleven))

(defconcept-instance math-fact_2+0=2-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_2+0=2-value)
(setf fact_2+0=2-value '(two plus zero two))

(defconcept-instance math-fact_2-0=2-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_2-0=2-value)
(setf fact_2-0=2-value '(two minus zero two))

(defconcept-instance math-fact_2+1=3-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_2+1=3-value)
(setf fact_2+1=3-value '(two plus one three))

(defconcept-instance math-fact_2-1=1-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_2-1=1-value)
(setf fact_2-1=1-value '(two minus one one))

;(defconcept-instance math-fact_2+2=4-concept-instance
;    :domain-concept math-fact-domain-concept
;    :symbol fact_2+2=4-value)
;(setf fact_2+2=4-value '(two plus two four))

(defconcept-instance math-fact_2-2=0-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_2-2=0-value)
(setf fact_2-2=0-value '(two minus two zero))

(defconcept-instance math-fact_2+3=5-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_2+3=5-value)
(setf fact_2+3=5-value '(two plus three five))

(defconcept-instance math-fact_2+4=6-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_2+4=6-value)
(setf fact_2+4=6-value '(two plus four six))

(defconcept-instance math-fact_2+5=7-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_2+5=7-value)
(setf fact_2+5=7-value '(two plus five seven))

(defconcept-instance math-fact_2+6=8-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_2+6=8-value)
(setf fact_2+6=8-value '(two plus six eight))

(defconcept-instance math-fact_2+7=9-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_2+7=9-value)
(setf fact_2+7=9-value '(two plus seven nine))

(defconcept-instance math-fact_2+8=10-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_2+8=10-value)
(setf fact_2+8=10-value '(two plus eight ten))

(defconcept-instance math-fact_2+9=11-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_2+9=11-value)
(setf fact_2+9=11-value '(two plus nine eleven))

(defconcept-instance math-fact_2+10=12-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_2+10=12-value)
(setf fact_2+10=12-value '(two plus ten twelve))

(defconcept-instance math-fact_3+0=3-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3+0=3-value)
(setf fact_3+0=3-value '(three plus zero three))

(defconcept-instance math-fact_3-0=3-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3-0=3-value)
(setf fact_3-0=3-value '(three minus zero three))

(defconcept-instance math-fact_3+1=4-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3+1=4-value)
(setf fact_3+1=4-value '(three plus one four))

(defconcept-instance math-fact_3-1=2-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3-1=2-value)
(setf fact_3-1=2-value '(three minus one two))

(defconcept-instance math-fact_3+2=5-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3+2=5-value)
(setf fact_3+2=5-value '(three plus two five))

(defconcept-instance math-fact_3-2=1-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3-2=1-value)
(setf fact_3-2=1-value '(three minus two one))

(defconcept-instance math-fact_3+3=6-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3+3=6-value)
(setf fact_3+3=6-value '(three plus three six))

(defconcept-instance math-fact_3-3=0-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3-3=0-value)
(setf fact_3-3=0-value '(three minus three zero))

(defconcept-instance math-fact_3+4=7-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3+4=7-value)
(setf fact_3+4=7-value '(three plus four seven))

(defconcept-instance math-fact_3+5=8-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3+5=8-value)
(setf fact_3+5=8-value '(three plus five eight))

(defconcept-instance math-fact_3+6=9-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3+6=9-value)
(setf fact_3+6=9-value '(three plus six nine))

(defconcept-instance math-fact_3+7=10-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3+7=10-value)
(setf fact_3+7=10-value '(three plus seven ten))

(defconcept-instance math-fact_3+8=11-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3+8=11-value)
(setf fact_3+8=11-value '(three plus eight eleven))

(defconcept-instance math-fact_3+9=12-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3+9=12-value)
(setf fact_3+9=12-value '(three plus nine twelve))

(defconcept-instance math-fact_3+10=13-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_3+10=13-value)
(setf fact_3+10=13-value '(three plus ten thirteen))

(defconcept-instance math-fact_4+0=4-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4+0=4-value)
(setf fact_4+0=4-value '(four plus zero four))

(defconcept-instance math-fact_4-0=4-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4-0=4-value)
(setf fact_4-0=4-value '(four minus zero four))

(defconcept-instance math-fact_4+1=5-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4+1=5-value)
(setf fact_4+1=5-value '(four plus one five))

(defconcept-instance math-fact_4-1=3-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4-1=3-value)
(setf fact_4-1=3-value '(four minus one three))

(defconcept-instance math-fact_4+2=6-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4+2=6-value)
(setf fact_4+2=6-value '(four plus two six))

(defconcept-instance math-fact_4-2=2-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4-2=2-value)
(setf fact_4-2=2-value '(four minus two two))

(defconcept-instance math-fact_4+3=7-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4+3=7-value)
(setf fact_4+3=7-value '(four plus three seven))

(defconcept-instance math-fact_4-3=1-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4-3=1-value)
(setf fact_4-3=1-value '(four minus three one))

(defconcept-instance math-fact_4+4=8-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4+4=8-value)
(setf fact_4+4=8-value '(four plus four eight))

(defconcept-instance math-fact_4-4=0-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4-4=0-value)
(setf fact_4-4=0-value '(four minus four zero))

(defconcept-instance math-fact_4+5=9-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4+5=9-value)
(setf fact_4+5=9-value '(four plus five nine))

(defconcept-instance math-fact_4+6=10-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4+6=10-value)
(setf fact_4+6=10-value '(four plus six ten))

(defconcept-instance math-fact_4+7=11-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4+7=11-value)
(setf fact_4+7=11-value '(four plus seven eleven))

(defconcept-instance math-fact_4+8=12-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4+8=12-value)
(setf fact_4+8=12-value '(four plus eight twelve))

(defconcept-instance math-fact_4+9=13-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4+9=13-value)
(setf fact_4+9=13-value '(four plus nine thirteen))

(defconcept-instance math-fact_4+10=14-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_4+10=14-value)
(setf fact_4+10=14-value '(four plus ten fourteen))

(defconcept-instance math-fact_5+0=5-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5+0=5-value)
(setf fact_5+0=5-value '(five plus zero five))

(defconcept-instance math-fact_5-0=5-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5-0=5-value)
(setf fact_5-0=5-value '(five minus zero five))

(defconcept-instance math-fact_5+1=6-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5+1=6-value)
(setf fact_5+1=6-value '(five plus one six))

(defconcept-instance math-fact_5-1=4-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5-1=4-value)
(setf fact_5-1=4-value '(five minus one four))

(defconcept-instance math-fact_5+2=7-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5+2=7-value)
(setf fact_5+2=7-value '(five plus two seven))

(defconcept-instance math-fact_5-2=3-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5-2=3-value)
(setf fact_5-2=3-value '(five minus two three))

(defconcept-instance math-fact_5+3=8-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5+3=8-value)
(setf fact_5+3=8-value '(five plus three eight))

(defconcept-instance math-fact_5-3=2-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5-3=2-value)
(setf fact_5-3=2-value '(five minus three two))

(defconcept-instance math-fact_5+4=9-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5+4=9-value)
(setf fact_5+4=9-value '(five plus four nine))

(defconcept-instance math-fact_5-4=1-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5-4=1-value)
(setf fact_5-4=1-value '(five minus four one))

(defconcept-instance math-fact_5+5=10-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5+5=10-value)
(setf fact_5+5=10-value '(five plus five ten))

(defconcept-instance math-fact_5-5=0-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5-5=0-value)
(setf fact_5-5=0-value '(five minus five zero))

(defconcept-instance math-fact_5+6=11-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5+6=11-value)
(setf fact_5+6=11-value '(five plus six eleven))

(defconcept-instance math-fact_5+7=12-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5+7=12-value)
(setf fact_5+7=12-value '(five plus seven twelve))

(defconcept-instance math-fact_5+8=13-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5+8=13-value)
(setf fact_5+8=13-value '(five plus eight thirteen))

(defconcept-instance math-fact_5+9=14-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5+9=14-value)
(setf fact_5+9=14-value '(five plus nine fourteen))

(defconcept-instance math-fact_5+10=15-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_5+10=15-value)
(setf fact_5+10=15-value '(five plus ten fifteen))

(defconcept-instance math-fact_6+0=6-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6+0=6-value)
(setf fact_6+0=6-value '(six plus zero six))

(defconcept-instance math-fact_6-0=6-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6-0=6-value)
(setf fact_6-0=6-value '(six minus zero six))

(defconcept-instance math-fact_6+1=7-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6+1=7-value)
(setf fact_6+1=7-value '(six plus one seven))

(defconcept-instance math-fact_6-1=5-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6-1=5-value)
(setf fact_6-1=5-value '(six minus one five))

(defconcept-instance math-fact_6+2=8-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6+2=8-value)
(setf fact_6+2=8-value '(six plus two eight))

(defconcept-instance math-fact_6-2=4-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6-2=4-value)
(setf fact_6-2=4-value '(six minus two four))

(defconcept-instance math-fact_6+3=9-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6+3=9-value)
(setf fact_6+3=9-value '(six plus three nine))

(defconcept-instance math-fact_6-3=3-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6-3=3-value)
(setf fact_6-3=3-value '(six minus three three))

(defconcept-instance math-fact_6+4=10-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6+4=10-value)
(setf fact_6+4=10-value '(six plus four ten))

(defconcept-instance math-fact_6-4=2-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6-4=2-value)
(setf fact_6-4=2-value '(six minus four two))

(defconcept-instance math-fact_6+5=11-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6+5=11-value)
(setf fact_6+5=11-value '(six plus five eleven))

(defconcept-instance math-fact_6-5=1-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6-5=1-value)
(setf fact_6-5=1-value '(six minus five one))

(defconcept-instance math-fact_6+6=12-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6+6=12-value)
(setf fact_6+6=12-value '(six plus six twelve))

(defconcept-instance math-fact_6-6=0-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6-6=0-value)
(setf fact_6-6=0-value '(six minus six zero))

(defconcept-instance math-fact_6+7=13-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6+7=13-value)
(setf fact_6+7=13-value '(six plus seven thirteen))

(defconcept-instance math-fact_6+8=14-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6+8=14-value)
(setf fact_6+8=14-value '(six plus eight fourteen))

(defconcept-instance math-fact_6+9=15-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6+9=15-value)
(setf fact_6+9=15-value '(six plus nine fifteen))

(defconcept-instance math-fact_6+10=16-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_6+10=16-value)
(setf fact_6+10=16-value '(six plus ten sixteen))

(defconcept-instance math-fact_7+0=7-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7+0=7-value)
(setf fact_7+0=7-value '(seven plus zero seven))

(defconcept-instance math-fact_7-0=7-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7-0=7-value)
(setf fact_7-0=7-value '(seven minus zero seven))

(defconcept-instance math-fact_7+1=8-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7+1=8-value)
(setf fact_7+1=8-value '(seven plus one eight))

(defconcept-instance math-fact_7-1=6-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7-1=6-value)
(setf fact_7-1=6-value '(seven minus one six))

(defconcept-instance math-fact_7+2=9-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7+2=9-value)
(setf fact_7+2=9-value '(seven plus two nine))

(defconcept-instance math-fact_7-2=5-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7-2=5-value)
(setf fact_7-2=5-value '(seven minus two five))

(defconcept-instance math-fact_7+3=10-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7+3=10-value)
(setf fact_7+3=10-value '(seven plus three ten))

(defconcept-instance math-fact_7-3=4-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7-3=4-value)
(setf fact_7-3=4-value '(seven minus three four))

(defconcept-instance math-fact_7+4=11-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7+4=11-value)
(setf fact_7+4=11-value '(seven plus four eleven))

(defconcept-instance math-fact_7-4=3-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7-4=3-value)
(setf fact_7-4=3-value '(seven minus four three))

(defconcept-instance math-fact_7+5=12-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7+5=12-value)
(setf fact_7+5=12-value '(seven plus five twelve))

(defconcept-instance math-fact_7-5=2-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7-5=2-value)
(setf fact_7-5=2-value '(seven minus five two))

(defconcept-instance math-fact_7+6=13-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7+6=13-value)
(setf fact_7+6=13-value '(seven plus six thirteen))

(defconcept-instance math-fact_7-6=1-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7-6=1-value)
(setf fact_7-6=1-value '(seven minus six one))

(defconcept-instance math-fact_7+7=14-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7+7=14-value)
(setf fact_7+7=14-value '(seven plus seven fourteen))

(defconcept-instance math-fact_7-7=0-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7-7=0-value)
(setf fact_7-7=0-value '(seven minus seven zero))

(defconcept-instance math-fact_7+8=15-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7+8=15-value)
(setf fact_7+8=15-value '(seven plus eight fifteen))

(defconcept-instance math-fact_7+9=16-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7+9=16-value)
(setf fact_7+9=16-value '(seven plus nine sixteen))

(defconcept-instance math-fact_7+10=17-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_7+10=17-value)
(setf fact_7+10=17-value '(seven plus ten seventeen))

(defconcept-instance math-fact_8+0=8-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8+0=8-value)
(setf fact_8+0=8-value '(eight plus zero eight))

(defconcept-instance math-fact_8-0=8-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8-0=8-value)
(setf fact_8-0=8-value '(eight minus zero eight))

(defconcept-instance math-fact_8+1=9-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8+1=9-value)
(setf fact_8+1=9-value '(eight plus one nine))

(defconcept-instance math-fact_8-1=7-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8-1=7-value)
(setf fact_8-1=7-value '(eight minus one seven))

(defconcept-instance math-fact_8+2=10-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8+2=10-value)
(setf fact_8+2=10-value '(eight plus two ten))

(defconcept-instance math-fact_8-2=6-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8-2=6-value)
(setf fact_8-2=6-value '(eight minus two six))

(defconcept-instance math-fact_8+3=11-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8+3=11-value)
(setf fact_8+3=11-value '(eight plus three eleven))

(defconcept-instance math-fact_8-3=5-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8-3=5-value)
(setf fact_8-3=5-value '(eight minus three five))

(defconcept-instance math-fact_8+4=12-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8+4=12-value)
(setf fact_8+4=12-value '(eight plus four twelve))

(defconcept-instance math-fact_8-4=4-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8-4=4-value)
(setf fact_8-4=4-value '(eight minus four four))

(defconcept-instance math-fact_8+5=13-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8+5=13-value)
(setf fact_8+5=13-value '(eight plus five thirteen))

(defconcept-instance math-fact_8-5=3-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8-5=3-value)
(setf fact_8-5=3-value '(eight minus five three))

(defconcept-instance math-fact_8+6=14-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8+6=14-value)
(setf fact_8+6=14-value '(eight plus six fourteen))

(defconcept-instance math-fact_8-6=2-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8-6=2-value)
(setf fact_8-6=2-value '(eight minus six two))

(defconcept-instance math-fact_8+7=15-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8+7=15-value)
(setf fact_8+7=15-value '(eight plus seven fifteen))

(defconcept-instance math-fact_8-7=1-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8-7=1-value)
(setf fact_8-7=1-value '(eight minus seven one))

(defconcept-instance math-fact_8+8=16-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8+8=16-value)
(setf fact_8+8=16-value '(eight plus eight sixteen))

(defconcept-instance math-fact_8-8=0-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8-8=0-value)
(setf fact_8-8=0-value '(eight minus eight zero))

(defconcept-instance math-fact_8+9=17-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8+9=17-value)
(setf fact_8+9=17-value '(eight plus nine seventeen))

(defconcept-instance math-fact_8+10=18-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_8+10=18-value)
(setf fact_8+10=18-value '(eight plus ten eighteen))

(defconcept-instance math-fact_9+0=9-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9+0=9-value)
(setf fact_9+0=9-value '(nine plus zero nine))

(defconcept-instance math-fact_9-0=9-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9-0=9-value)
(setf fact_9-0=9-value '(nine minus zero nine))

(defconcept-instance math-fact_9+1=10-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9+1=10-value)
(setf fact_9+1=10-value '(nine plus one ten))

(defconcept-instance math-fact_9-1=8-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9-1=8-value)
(setf fact_9-1=8-value '(nine minus one eight))

(defconcept-instance math-fact_9+2=11-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9+2=11-value)
(setf fact_9+2=11-value '(nine plus two eleven))

(defconcept-instance math-fact_9-2=7-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9-2=7-value)
(setf fact_9-2=7-value '(nine minus two seven))

(defconcept-instance math-fact_9+3=12-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9+3=12-value)
(setf fact_9+3=12-value '(nine plus three twelve))

(defconcept-instance math-fact_9-3=6-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9-3=6-value)
(setf fact_9-3=6-value '(nine minus three six))

(defconcept-instance math-fact_9+4=13-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9+4=13-value)
(setf fact_9+4=13-value '(nine plus four thirteen))

(defconcept-instance math-fact_9-4=5-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9-4=5-value)
(setf fact_9-4=5-value '(nine minus four five))

(defconcept-instance math-fact_9+5=14-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9+5=14-value)
(setf fact_9+5=14-value '(nine plus five fourteen))

(defconcept-instance math-fact_9-5=4-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9-5=4-value)
(setf fact_9-5=4-value '(nine minus five four))

(defconcept-instance math-fact_9+6=15-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9+6=15-value)
(setf fact_9+6=15-value '(nine plus six fifteen))

(defconcept-instance math-fact_9-6=3-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9-6=3-value)
(setf fact_9-6=3-value '(nine minus six three))

(defconcept-instance math-fact_9+7=16-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9+7=16-value)
(setf fact_9+7=16-value '(nine plus seven sixteen))

(defconcept-instance math-fact_9-7=2-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9-7=2-value)
(setf fact_9-7=2-value '(nine minus seven two))

(defconcept-instance math-fact_9+8=17-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9+8=17-value)
(setf fact_9+8=17-value '(nine plus eight seventeen))

(defconcept-instance math-fact_9-8=1-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9-8=1-value)
(setf fact_9-8=1-value '(nine minus eight one))

(defconcept-instance math-fact_9+9=18-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9+9=18-value)
(setf fact_9+9=18-value '(nine plus nine eighteen))

(defconcept-instance math-fact_9-9=0-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9-9=0-value)
(setf fact_9-9=0-value '(nine minus nine zero))

(defconcept-instance math-fact_9+10=19-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_9+10=19-value)
(setf fact_9+10=19-value '(nine plus ten nineteen))

(defconcept-instance math-fact_10+0=10-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10+0=10-value)
(setf fact_10+0=10-value '(ten plus zero ten))

(defconcept-instance math-fact_10-0=10-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10-0=10-value)
(setf fact_10-0=10-value '(ten minus zero ten))

(defconcept-instance math-fact_10+1=11-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10+1=11-value)
(setf fact_10+1=11-value '(ten plus one eleven))

(defconcept-instance math-fact_10-1=9-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10-1=9-value)
(setf fact_10-1=9-value '(ten minus one nine))

(defconcept-instance math-fact_10+2=12-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10+2=12-value)
(setf fact_10+2=12-value '(ten plus two twelve))

(defconcept-instance math-fact_10-2=8-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10-2=8-value)
(setf fact_10-2=8-value '(ten minus two eight))

(defconcept-instance math-fact_10+3=13-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10+3=13-value)
(setf fact_10+3=13-value '(ten plus three thirteen))

(defconcept-instance math-fact_10-3=7-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10-3=7-value)
(setf fact_10-3=7-value '(ten minus three seven))

(defconcept-instance math-fact_10+4=14-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10+4=14-value)
(setf fact_10+4=14-value '(ten plus four fourteen))

(defconcept-instance math-fact_10-4=6-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10-4=6-value)
(setf fact_10-4=6-value '(ten minus four six))

(defconcept-instance math-fact_10+5=15-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10+5=15-value)
(setf fact_10+5=15-value '(ten plus five fifteen))

(defconcept-instance math-fact_10-5=5-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10-5=5-value)
(setf fact_10-5=5-value '(ten minus five five))

(defconcept-instance math-fact_10+6=16-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10+6=16-value)
(setf fact_10+6=16-value '(ten plus six sixteen))

(defconcept-instance math-fact_10-6=4-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10-6=4-value)
(setf fact_10-6=4-value '(ten minus six four))

(defconcept-instance math-fact_10+7=17-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10+7=17-value)
(setf fact_10+7=17-value '(ten plus seven seventeen))

(defconcept-instance math-fact_10-7=3-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10-7=3-value)
(setf fact_10-7=3-value '(ten minus seven three))

(defconcept-instance math-fact_10+8=18-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10+8=18-value)
(setf fact_10+8=18-value '(ten plus eight eighteen))

(defconcept-instance math-fact_10-8=2-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10-8=2-value)
(setf fact_10-8=2-value '(ten minus eight two))

(defconcept-instance math-fact_10+9=19-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10+9=19-value)
(setf fact_10+9=19-value '(ten plus nine nineteen))

(defconcept-instance math-fact_10-9=1-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10-9=1-value)
(setf fact_10-9=1-value '(ten minus nine one))

(defconcept-instance math-fact_10+10=20-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10+10=20-value)
(setf fact_10+10=20-value '(ten plus ten twenty))

(defconcept-instance math-fact_10-10=0-concept-instance
    :domain-concept math-fact-domain-concept
    :symbol fact_10-10=0-value)
(setf fact_10-10=0-value '(ten minus ten zero))