
(in-package dump)
(EVAL-WHEN (COMPILE LOAD EVAL)
                       (DATABASE:MAKESYMS '.%%symbol-label%%. 0 28 "dump"))

(setq database:*db-input* (setq .%%symbol-label%%.57 (make-instance 'pail-lib::poolfile :real-contents (list (setq .%%symbol-label%%.58 (setq .%%symbol-label%%.58 (make-instance 'pail-lib:pool-item :from-button nil :start-object (setq .%%symbol-label%%.59 (make-instance 'pail-lib:ebg-tree :descendants (list (setq .%%symbol-label%%.60 (make-instance 'pail-lib:ebg-tree :descendants (list (setq .%%symbol-label%%.61 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :uid "EBG2" :substitutions nil :fact (list 'has 'fred 250000 'state1))) (setq .%%symbol-label%%.62 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :uid "EBG3" :substitutions nil :fact (list 'money 250000))) (setq .%%symbol-label%%.63 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :uid "EBG4" :substitutions nil :fact (list 'has 'john 'mary 'state1))) (setq .%%symbol-label%%.64 (make-instance 'pail-lib:ebg-tree :descendants (list (setq .%%symbol-label%%.65 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :uid "EBG5" :substitutions nil :fact (list 'money 250000))) (setq .%%symbol-label%%.66 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :uid "EBG6" :substitutions nil :fact (list 'person 'fred)))) :content (setq .%%symbol-label%%.67 (make-instance 'pail-lib:rule :date-part 20992 :doc-part "Money is worth its face value to everyone" :type-part nil :then-part (list 'value '?something '?anyone '?something) :if-part (list (list 'money '?something) (list 'person '?anyone)) :name-part 'rule-m)) :uid "EBG7" :substitutions nil :fact nil)) (setq .%%symbol-label%%.68 (make-instance 'pail-lib:ebg-tree :descendants (list (setq .%%symbol-label%%.69 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :uid "EBG8" :substitutions nil :fact (list 'father 'fred 'mary)))) :content (setq .%%symbol-label%%.70 (make-instance 'pail-lib:rule :date-part 20992 :doc-part "Children are worth 300000 Franks to their fathers" :type-part nil :then-part (list 'value '?kid '?dad 300000) :if-part (list (list 'father '?dad '?kid)) :name-part 'rule-p)) :uid "EBG9" :substitutions nil :fact nil)) (setq .%%symbol-label%%.71 (make-instance 'pail-lib:ebg-tree :descendants (list (setq .%%symbol-label%%.72 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :uid "EBG10" :substitutions nil :fact (list 'money 250000))) (setq .%%symbol-label%%.73 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :uid "EBG11" :substitutions nil :fact (list 'person 'john)))) :content .%%symbol-label%%.67 :uid "EBG12" :substitutions nil :fact nil)) (setq .%%symbol-label%%.74 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :uid "EBG13" :substitutions nil :fact (list 'value 'mary 'john 0))) (setq .%%symbol-label%%.75 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :uid "EBG19" :substitutions nil :fact (list '< 250000 300000))) (setq .%%symbol-label%%.76 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :uid "EBG25" :substitutions nil :fact (list '< 0 250000)))) :content (setq .%%symbol-label%%.77 (make-instance 'pail-lib:rule :date-part 20992 :doc-part "Exchange for money - if one person has something that another person
          values more than money, then they will exchange them.  In the new state, 
          the possessions will be swapped." :type-part 'forward :then-part (list 'has '?a2 '?money (list 'exchanges '?a1 '?a2 '?money '?valuable '?s)) :if-part (list (list 'has '?a1 '?money '?s) (list 'money '?money) (list 'has '?a2 '?valuable '?s) (list 'value '?money '?a1 '?v1) (list 'value '?valuable '?a1 '?v2) (list 'value '?money '?a2 '?v3) (list 'value '?valuable '?a2 '?v4) (list 'lisp '< '?v1 '?v2) (list 'lisp '< '?v4 '?v3)) :name-part 'rule-e)) :uid "EBG26" :substitutions nil :fact nil)) (setq .%%symbol-label%%.78 (make-instance 'pail-lib:ebg-tree :descendants nil :content nil :uid "EBG27" :substitutions nil :fact (list 'money 250000)))) :content (setq .%%symbol-label%%.79 (make-instance 'pail-lib:rule :date-part 20992 :doc-part "People with money are wealthy" :type-part nil :then-part (list 'wealthy '?a1 '?s) :if-part (list (list 'has '?a1 '?money '?s) (list 'money '?money)) :name-part 'rule-w)) :uid "EBG28" :substitutions nil :fact nil)) :name-part "how2kidnap"))) (setq .%%symbol-label%%.80 (make-instance 'pail-lib:pool-item :name-part "changerules" :start-object (pail-lib::get-file-object "changerules"))) (setq .%%symbol-label%%.81 (make-instance 'pail-lib:pool-item :name-part "kidnapping" :start-object (pail-lib::get-file-object "kidnapping"))) (setq .%%symbol-label%%.82 (make-instance 'pail-lib:pool-item :name-part "switch" :start-object (pail-lib::get-file-object "switch"))) (setq .%%symbol-label%%.83 (make-instance 'pail-lib:pool-item :name-part "kidnaprules" :start-object (pail-lib::get-file-object "kidnaprules")))) :contents (list (setq .%%symbol-label%%.84 (make-instance 'pail-lib::filentry :classname "ebg-tree" :poolname "how2kidnap")) (setq .%%symbol-label%%.85 (make-instance 'pail-lib::filentry :classname "rule-set" :poolname "changerules")) (setq .%%symbol-label%%.86 (make-instance 'pail-lib::filentry :classname "working-memory" :poolname "kidnapping")) (setq .%%symbol-label%%.87 (make-instance 'pail-lib::filentry :classname "working-memory" :poolname "switch")) (setq .%%symbol-label%%.88 (make-instance 'pail-lib::filentry :classname "rule-set" :poolname "kidnaprules"))) :filename "")))