;;;; -*- Mode: LISP; Syntax: Common-Lisp; Base: 10 -*- ;;;; --------------------------------------------------------------------------- ;;;; File name: qr-bote-trace.lsp ;;;; System: ;;;; Author: Praveen Paritosh ;;;; Created: May 2, 2004 20:22:53 ;;;; Purpose: ;;;; --------------------------------------------------------------------------- ;;;; Modified: Sunday, May 2, 2004 at 20:32:06 by paritosh ;;;; --------------------------------------------------------------------------- (in-package :common-lisp-user) ;; Trace of run of all QR-BOTE examples. Problem WM KB 1 12 30 2 20 30 3 13 20 4 20 12 5 14 30 6 10 10 7 16 18 8 18 20 cl-user(156): (run-qr-bote-examples) ; Loading F:\qrg\FIRE\V1\evalfns.lsp Adding suggestions to KB... Creating and adding the suggestions chainer to reasoner... Adding the relevant facts to the WM... Ready to solve... Starting to work on goal (CountContained CS381ClassRoom Popcorn ?number) Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node Found solutions (((?21425 . 3))) for by ASK Propagating bindings ((?21425 . 3)) just found for Propagating bindings and instantiating Processing node Found solutions (((?21424 . 15))) for by ASK Propagating bindings ((?21424 . 15) (?21425 . 3)) just found for Propagating bindings and instantiating Processing node Found solutions (((?21423 . 10))) for by ASK Propagating bindings ((?21423 . 10) (?21424 . 15) (?21425 . 3)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?21423 . 10) (?21424 . 15) (?21425 . 3)) Doing result-step (evaluate ?21364 (TimesFn ?21425 ?21424 ?21423)) Result step succeeded, propagating to parent Result bindings: (((?21364 . 450) (?21423 . 10) (?21424 . 15) (?21425 . 3))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?21364 . 450)) just found for Propagating bindings and instantiating Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node Found solutions (((?21485 . 0.02))) for by ASK Propagating bindings ((?21485 . 0.02)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?21485 . 0.02)) Doing result-step (evaluate ?21363 (TimesFn 4.187 (ExponentFn ?21485 3))) Result step succeeded, propagating to parent Result bindings: (((?21363 . 3.3496e-5) (?21485 . 0.02))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?21363 . 3.3496e-5) (?21364 . 450)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?21363 . 3.3496e-5) (?21364 . 450)) Doing result-step (evaluate ?number (QuotientFn ?21364 ?21363)) Result step succeeded, propagating to parent Result bindings: (((?number . 1.343444e+7) (?21363 . 3.3496e-5) (?21364 . 450))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for No more in-play solutions here Trying to find the next solution for Trying to find the next solution for Found cached solution ((?number . 1.343444e+7)) ; Loading F:\qrg\FIRE\V1\evalfns.lsp Adding suggestions to KB... Creating and adding the suggestions chainer to reasoner... Adding the relevant facts to the WM... Ready to solve... Starting to work on goal (annualSales NewspaperCopy UnitedStatesOfAmerica (YearFn 2003) ?money) Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node Found solutions (((?21821 . 365))) for by ASK Propagating bindings ((?21821 . 365)) just found for Propagating bindings and instantiating Processing node Found solutions (((?21820 . 0.75))) for by ASK Propagating bindings ((?21820 . 0.75) (?21821 . 365)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?21820 . 0.75) (?21821 . 365)) Doing result-step (evaluate ?21713 (TimesFn ?21821 ?21820)) Result step succeeded, propagating to parent Result bindings: (((?21713 . 273.75) (?21820 . 0.75) (?21821 . 365))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?21713 . 273.75)) just found for Propagating bindings and instantiating Trying to find the next solution for Trying to find the next solution for Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node Found solutions (((?21931 YearFn 1996) (?21930 . 266476278)) ((?21931 YearFn 1997) (?21930 . 267600000)) ((?21931 MonthFn July (YearFn 1996)) (?21930 . 266476278)) ((?21931 MonthFn July (YearFn 1997)) (?21930 . 267954764))) for by ASK Propagating bindings ((?21931 YearFn 1996) (?21930 . 266476278)) just found for Propagating bindings and instantiating Processing node Found solutions (((?21929 . 30))) for by ASK Propagating bindings ((?21929 . 30) (?21931 YearFn 1996) (?21930 . 266476278)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?21929 . 30) (?21931 YearFn 1996) (?21930 . 266476278)) Doing result-step (evaluate ?21712 (QuotientFn (TimesFn ?21930 ?21929) 100)) Result step succeeded, propagating to parent Result bindings: (((?21712 . 399714417/5) (?21929 . 30) (?21931 YearFn 1996) (?21930 . 266476278))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?21712 . 399714417/5) (?21713 . 273.75)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?21712 . 399714417/5) (?21713 . 273.75)) Doing result-step (evaluate ?money (TimesFn ?21713 ?21712)) Result step succeeded, propagating to parent Result bindings: (((?money . 2.1884363e+10) (?21712 . 399714417/5) (?21713 . 273.75))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for No more in-play solutions here Trying to find the next solution for Trying to find the next solution for Found cached solution ((?21931 YearFn 1997) (?21930 . 267600000)) Found bindings ((?21931 YearFn 1997) (?21930 . 267600000)) from previous node, reinstantiating goal Trying to find the next solution for Found cached solution ((?money . 2.1884363e+10)) ; Loading F:\qrg\FIRE\V1\evalfns.lsp Adding suggestions to KB... Creating and adding the suggestions chainer to reasoner... Adding the relevant facts to the WM... Ready to solve... Starting to work on goal (cardinality K-8SchoolTeacher ?numteachers) Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node Found solutions (((?22314 . 267600000))) for by ASK Propagating bindings ((?22314 . 267600000)) just found for Propagating bindings and instantiating Processing node Found solutions (((?22313 . 5))) for by ASK Propagating bindings ((?22313 . 5) (?22314 . 267600000)) just found for Propagating bindings and instantiating Processing node Found solutions (((?22312 . 14))) for by ASK Propagating bindings ((?22312 . 14) (?22313 . 5) (?22314 . 267600000)) just found for Propagating bindings and instantiating Processing node Found solutions (((?22311 . 75.99))) for by ASK Propagating bindings ((?22311 . 75.99) (?22312 . 14) (?22313 . 5) (?22314 . 267600000)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?22311 . 75.99) (?22312 . 14) (?22313 . 5) (?22314 . 267600000)) Doing result-step (evaluate ?22169 (TimesFn (QuotientFn (DifferenceFn ?22312 ?22313) ?22311) ?22314)) Result step succeeded, propagating to parent Result bindings: (((?22169 . 3.1693646e+7) (?22311 . 75.99) (?22312 . 14) (?22313 . 5) (?22314 . 267600000))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?22169 . 3.1693646e+7)) just found for Propagating bindings and instantiating Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Processing node Found solutions (((?22168 . 30))) for by ASK Propagating bindings ((?22168 . 30) (?22169 . 3.1693646e+7)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?22168 . 30) (?22169 . 3.1693646e+7)) Doing result-step (evaluate ?numteachers (QuotientFn ?22169 ?22168)) Result step succeeded, propagating to parent Result bindings: (((?numteachers . 1056454.9) (?22168 . 30) (?22169 . 3.1693646e+7))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for No more in-play solutions here Trying to find the next solution for Found cached solution ((?numteachers . 1056454.9)) ; Loading F:\qrg\FIRE\V1\evalfns.lsp Adding suggestions to KB... Creating and adding the suggestions chainer to reasoner... Adding the relevant facts to the WM... Ready to solve... Starting to work on goal (annualSales HealthCare UnitedStatesOfAmerica (YearFn 1997) ?money) Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 2 suggestions ( ) Processing node Enqueuing the youngest daughter Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 0 suggestions Completely Failed on # Failed suggestion Processing node Enqueuing the youngest daughter Processing node Found solutions (((?22591 . 3000))) for by ASK Propagating bindings ((?22591 . 3000)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?22591 . 3000)) Doing result-step (healthInsurancePremiumForGroupInRegion UnitedStatesOfAmerica Person (DollarsPerYear ?22591)) Result step succeeded, propagating to parent Result bindings: (((?22591 . 3000))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?22591 . 3000)) just found for Propagating bindings and instantiating Trying to find the next solution for Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node Found solutions (((?23045 YearFn 1996) (?23044 . 266476278)) ((?23045 YearFn 1997) (?23044 . 267600000)) ((?23045 MonthFn July (YearFn 1996)) (?23044 . 266476278)) ((?23045 MonthFn July (YearFn 1997)) (?23044 . 267954764))) for by ASK Propagating bindings ((?23045 YearFn 1996) (?23044 . 266476278)) just found for Propagating bindings and instantiating Processing node Found solutions (((?23043 . 100))) for by ASK Propagating bindings ((?23043 . 100) (?23045 YearFn 1996) (?23044 . 266476278)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?23043 . 100) (?23045 YearFn 1996) (?23044 . 266476278)) Doing result-step (evaluate ?22590 (QuotientFn (TimesFn ?23044 ?23043) 100)) Result step succeeded, propagating to parent Result bindings: (((?22590 . 266476278) (?23043 . 100) (?23045 YearFn 1996) (?23044 . 266476278))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?22590 . 266476278) (?22591 . 3000)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?22590 . 266476278) (?22591 . 3000)) Doing result-step (evaluate ?money (TimesFn ?22591 ?22590)) Result step succeeded, propagating to parent Result bindings: (((?money . 799428834000) (?22590 . 266476278) (?22591 . 3000))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for No more in-play solutions here Trying to find the next solution for Trying to find the next solution for Found cached solution ((?23045 YearFn 1997) (?23044 . 267600000)) Found bindings ((?23045 YearFn 1997) (?23044 . 267600000)) from previous node, reinstantiating goal Trying to find the next solution for Found cached solution ((?money . 799428834000)) ; Loading F:\qrg\FIRE\V1\evalfns.lsp Adding suggestions to KB... Creating and adding the suggestions chainer to reasoner... Adding the relevant facts to the WM... Ready to solve... Starting to work on goal (unitsBoughtPerYear Automobile UnitedStatesOfAmerica (YearFn 1997) ?num) Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node Found solutions (((?23802 . 267600000))) for by ASK Propagating bindings ((?23802 . 267600000)) just found for Propagating bindings and instantiating Processing node Found solutions (((?23801 . 3))) for by ASK Propagating bindings ((?23801 . 3) (?23802 . 267600000)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?23801 . 3) (?23802 . 267600000)) Doing result-step (evaluate ?23593 (QuotientFn ?23802 ?23801)) Result step succeeded, propagating to parent Result bindings: (((?23593 . 89200000) (?23801 . 3) (?23802 . 267600000))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?23593 . 89200000)) just found for Propagating bindings and instantiating Trying to find the next solution for Trying to find the next solution for Processing node Found solutions (((?23592 . 1))) for by ASK Propagating bindings ((?23592 . 1) (?23593 . 89200000)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?23592 . 1) (?23593 . 89200000)) Doing result-step (evaluate ?23359 (TimesFn ?23593 ?23592)) Result step succeeded, propagating to parent Result bindings: (((?23359 . 89200000) (?23592 . 1) (?23593 . 89200000))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?23359 . 89200000)) just found for Propagating bindings and instantiating Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for No more in-play solutions here Processing node Found solutions (((?23358 . 10))) for by ASK Propagating bindings ((?23358 . 10) (?23359 . 89200000)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?23358 . 10) (?23359 . 89200000)) Doing result-step (evaluate ?num (QuotientFn ?23359 ?23358)) Result step succeeded, propagating to parent Result bindings: (((?num . 8920000) (?23358 . 10) (?23359 . 89200000))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for No more in-play solutions here Trying to find the next solution for Found cached solution ((?num . 8920000)) ; Loading F:\qrg\FIRE\V1\evalfns.lsp Adding suggestions to KB... Creating and adding the suggestions chainer to reasoner... Adding the relevant facts to the WM... Ready to solve... Starting to work on goal (annualProduction Garbage-Generic UnitedStatesOfAmerica (YearFn 1997) ?garbage-mass) Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node Found solutions (((?24442 . 267600000))) for by ASK Propagating bindings ((?24442 . 267600000)) just found for Propagating bindings and instantiating Processing node Found solutions (((?24441 . 3))) for by ASK Propagating bindings ((?24441 . 3) (?24442 . 267600000)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?24441 . 3) (?24442 . 267600000)) Doing result-step (evaluate ?24154 (QuotientFn ?24442 ?24441)) Result step succeeded, propagating to parent Result bindings: (((?24154 . 89200000) (?24441 . 3) (?24442 . 267600000))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?24154 . 89200000)) just found for Propagating bindings and instantiating Trying to find the next solution for Trying to find the next solution for Processing node Found solutions (((?24153 . 5))) for by ASK Propagating bindings ((?24153 . 5) (?24154 . 89200000)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?24153 . 5) (?24154 . 89200000)) Doing result-step (evaluate ?garbage-mass (TimesFn ?24154 ?24153)) Result step succeeded, propagating to parent Result bindings: (((?garbage-mass . 446000000) (?24153 . 5) (?24154 . 89200000))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for No more in-play solutions here Trying to find the next solution for Found cached solution ((?garbage-mass . 446000000)) ; Loading F:\qrg\FIRE\V1\evalfns.lsp Adding suggestions to KB... Creating and adding the suggestions chainer to reasoner... Adding the relevant facts to the WM... Ready to solve... Starting to work on goal (unitsSold HotDogSandwich WrigleyField BaseballSeason ?num-dogs) Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 2 suggestions ( ) Processing node Enqueuing the youngest daughter Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node Found solutions (((?25379 . 40000) (?25380 . BaseballHomeGame))) for by ASK Propagating bindings ((?25379 . 40000) (?25380 . BaseballHomeGame)) just found for Propagating bindings and instantiating Processing node Found solutions (((?25378 . 50))) for by ASK Propagating bindings ((?25378 . 50) (?25379 . 40000) (?25380 . BaseballHomeGame)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?25378 . 50) (?25379 . 40000) (?25380 . BaseballHomeGame)) Doing result-step (evaluate ?24889 (QuotientFn (TimesFn ?25379 ?25378) 100)) Result step succeeded, propagating to parent Result bindings: (((?24889 . 20000) (?25378 . 50) (?25379 . 40000) (?25380 . BaseballHomeGame))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?24889 . 20000)) just found for Propagating bindings and instantiating Trying to find the next solution for Trying to find the next solution for Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 0 suggestions Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for No more in-play solutions here Completely Failed on # Failed suggestion Processing node Enqueuing the youngest daughter Processing node Found solutions (((?25110 . 80) (?25111 . BaseballHomeGame))) for by ASK Propagating bindings ((?25110 . 80) (?25111 . BaseballHomeGame)) just found for Propagating bindings and instantiating Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node Found solutions (((?25971 . 40000) (?25972 . BaseballHomeGame))) for by ASK Propagating bindings ((?25971 . 40000) (?25972 . BaseballHomeGame)) just found for Propagating bindings and instantiating Processing node Found solutions (((?25970 . 50))) for by ASK Propagating bindings ((?25970 . 50) (?25971 . 40000) (?25972 . BaseballHomeGame)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?25970 . 50) (?25971 . 40000) (?25972 . BaseballHomeGame)) Doing result-step (evaluate ?25700 (QuotientFn (TimesFn ?25971 ?25970) 100)) Result step succeeded, propagating to parent Result bindings: (((?25700 . 20000) (?25970 . 50) (?25971 . 40000) (?25972 . BaseballHomeGame))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?25700 . 20000)) just found for Propagating bindings and instantiating Trying to find the next solution for Trying to find the next solution for Processing node Found solutions (((?25699 . 1))) for by ASK Propagating bindings ((?25699 . 1) (?25700 . 20000)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?25699 . 1) (?25700 . 20000)) Doing result-step (evaluate ?25698 (TimesFn ?25697 ?25696)) Result step succeeded, propagating to parent Result bindings: (((?25698 . 0) (?25696 . 0) (?25697 . ?DB-X25996) (?25699 . 1) (?25700 . 20000))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?25110 . 80) (?25111 . BaseballHomeGame)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?25110 . 80) (?25111 . BaseballHomeGame)) Doing result-step (evaluate ?num-dogs (TimesFn ?25110 ?25109)) Result step succeeded, propagating to parent Result bindings: (((?25109 . 0) (?DB-X25996 . 80) (?num-dogs . 0) (?25110 . 80) (?25111 . BaseballHomeGame))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for No more in-play solutions here Trying to find the next solution for Found cached solution ((?num-dogs . 0)) ; Loading F:\qrg\FIRE\V1\evalfns.lsp Adding suggestions to KB... Creating and adding the suggestions chainer to reasoner... Adding the relevant facts to the WM... Ready to solve... Starting to work on goal (annualAutomobileGasConsumption UnitedStatesOfAmerica (YearFn 1997) (Gallon-US ?oil-consumption)) Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node Found solutions (((?26782 . 20))) for by ASK Propagating bindings ((?26782 . 20)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?26782 . 20)) Doing result-step (evaluate ?26491 (TimesFn ?26782 365)) Result step succeeded, propagating to parent Result bindings: (((?26491 . 7300) (?26782 . 20))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?26491 . 7300)) just found for Propagating bindings and instantiating Trying to find the next solution for Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node ASK failed for , re-queuing it on agenda for suggestion gathering Processing node Starting to work on for which ASK found no answers Found 1 suggestions () Processing node Enqueuing the youngest daughter Processing node Found solutions (((?27400 . 267600000))) for by ASK Propagating bindings ((?27400 . 267600000)) just found for Propagating bindings and instantiating Processing node Found solutions (((?27399 . 3))) for by ASK Propagating bindings ((?27399 . 3) (?27400 . 267600000)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?27399 . 3) (?27400 . 267600000)) Doing result-step (evaluate ?27048 (QuotientFn ?27400 ?27399)) Result step succeeded, propagating to parent Result bindings: (((?27048 . 89200000) (?27399 . 3) (?27400 . 267600000))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?27048 . 89200000)) just found for Propagating bindings and instantiating Trying to find the next solution for Trying to find the next solution for Processing node Found solutions (((?27047 . 1))) for by ASK Propagating bindings ((?27047 . 1) (?27048 . 89200000)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?27047 . 1) (?27048 . 89200000)) Doing result-step (evaluate ?26490 (TimesFn ?27048 ?27047)) Result step succeeded, propagating to parent Result bindings: (((?26490 . 89200000) (?27047 . 1) (?27048 . 89200000))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Propagating bindings ((?26490 . 89200000) (?26491 . 7300)) just found for Propagating bindings and instantiating Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for No more in-play solutions here Processing node Found solutions (((?26489 . 20))) for by ASK Propagating bindings ((?26489 . 20) (?26490 . 89200000) (?26491 . 7300)) just found for Just solved the last subgoal here, propagating solution to parent Trying to find the next solution for Found cached solution ((?26489 . 20) (?26490 . 89200000) (?26491 . 7300)) Doing result-step (evaluate ?oil-consumption (QuotientFn (TimesFn ?26491 ?26490) ?26489)) Result step succeeded, propagating to parent Result bindings: (((?oil-consumption . 32558000000) (?26489 . 20) (?26490 . 89200000) (?26491 . 7300))), Parent: Succeeded , propagating solution to parent and marking this suggestion as IN-PLAY Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for Trying to find the next solution for No more in-play solutions here Trying to find the next solution for Found cached solution ((?oil-consumption . 32558000000)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; cl-user(157): (pprint *suggestion-assertions*) (((suggestionSubgoals MileageConsumptionStrategy (TheList (mileageDrivenPerYear Automobile ?place ?miles) (unitsTotal Automobile ?place ?time ?num-automobiles) (fuelConsumption Automobile (MilesPerGallon ?miles-per-gallon)))) (isa PerDayStrategyForMileage Suggestion) (isa MileageConsumptionStrategy Suggestion) (suggestFor (annualAutomobileGasConsumption ?place ?time (Gallon-US ?annual-consumption)) MileageConsumptionStrategy) (suggestionGoalForm MileageConsumptionStrategy (annualAutomobileGasConsumption ?place ?time (Gallon-US ?annual-consumption))) (isa PerBuyerStrategy Suggestion) (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy) (suggestFor (annualProduction Garbage-Generic ?region ?time ?total-garbage-mass) HouseholdGarbageStrategy) (isa HouseholdGarbageStrategy Suggestion) (suggestionGoalForm HouseholdGarbageStrategy (annualProduction Garbage-Generic ?region ?time ?total-garbage-mass)) (suggestionSubgoals HouseholdGarbageStrategy (TheList (numberOfHouseholds ?region ?time ?num-households) (amountProducedInEvent GarbageDisposalEvent Garbage-Generic (Pound-UnitOfMass ?garbage-per-house)))) (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money)) (suggestionResultStep HouseholdGarbageStrategy (evaluate ?total-garbage-mass (TimesFn ?num-households ?garbage-per-house))) (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number))) (suggestionSubgoals HouseholdViaPopulationStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (sizeOf CohabitationUnit UnitedStatesOfAmerica ?size))) (suggestionSubgoals HouseholdStrategyForCountingUnits (TheList (numberOfHouseholds ?place ?time ?num-households) (unitsPerHousehold ?obj ?units-per-household))) (isa HouseholdViaPopulationStrategy Suggestion) (suggestFor (numberOfHouseholds ?place ?time ?num-households) HouseholdViaPopulationStrategy) (suggestionGoalForm HouseholdViaPopulationStrategy (numberOfHouseholds ?place ?time ?num-households)) (suggestionResultStep HouseholdViaPopulationStrategy (evaluate ?num-households (QuotientFn ?population ?size))) (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2))) (suggestFor (unitsTotal ?obj ?place ?time ?total-units) HouseholdStrategyForCountingUnits) (isa HouseholdStrategyForCountingUnits Suggestion) (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number))) (suggestionGoalForm HouseholdStrategyForCountingUnits (unitsTotal ?obj ?place ?time ?total-units)) (suggestionResultStep HouseholdStrategyForCountingUnits (evaluate ?total-units (TimesFn ?num-households ?units-per-household))) (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol)) (isa VolumeFormulaForRectangular3DShape Suggestion) (isa AgeStrategyForUnitsBought Suggestion) (suggestFor (unitsBoughtPerYear ?obj ?place ?time ?units-per-year) AgeStrategyForUnitsBought) (suggestionGoalForm AgeStrategyForUnitsBought (unitsBoughtPerYear ?obj ?place ?time ?units-per-year)) (suggestionSubgoals AgeStrategyForUnitsBought (TheList (unitsTotal ?obj ?place ?time ?total-units) (age ?obj (YearsDuration ?life)))) (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape)) (isa VolumeStrategyForCount Suggestion) (suggestionResultStep AgeStrategyForUnitsBought (evaluate ?units-per-year (QuotientFn ?total-units ?life))) (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy) (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100))) (suggestionResultStep ExpenseOnHealthStrategy (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer))) (suggestionResultStep PerEventStrategy (evaluate ?total-units (TimesFn ?num-subevents ?units-per-subevent))) (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number)) (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?time ?total) (percentOfBuyers ?obj ?place ?percent))) (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere)) (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol)) (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost) (isa UnitaryStrategyForCost Suggestion) (implies (subEvents ?event ?subevent) (suggestFor (unitsSold ?obj ?place ?event ?total-units) PerEventStrategy)) (isa PerEventStrategy Suggestion) (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w))) (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer)) (suggestFor (unitsSold ?obj ?place ?event ?total-units-sold) PerBuyerStrategy) (suggestionGoalForm PerEventStrategy (unitsSold ?obj ?place ?event ?total-units)) (suggestionGoalForm PerBuyerStrategy (unitsSold ?obj ?place ?event ?total-units-sold)) (suggestionSubgoals PerBuyerStrategy (TheList (numberOfBuyers ?obj ?place ?event ?num-buyers) (unitsBoughtPerBuyer ?obj ?place ?event ?units-per-buyer))) (suggestionResultStep PerBuyerStrategy (evaluate ?total-units-sold (TimesFn ?num-buyers ?units-per-buyer))) (suggestionResultStep StudentsPerTeacherStrategy (evaluate ?numteachers (QuotientFn ?numstudents ?perteacher))) (suggestionSubgoals PerEventStrategy (TheList (numberOfOccurancesIn ?event ?subevent ?num-subevents) (unitsSold ?obj ?place ?subevent ?units-per-subevent))) (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost))) (suggestFor (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer) ExpenseOnHealthStrategy) (suggestFor (mileageDrivenPerYear Automobile ?place ?miles-per-year) PerDayStrategyForMileage) (suggestionGoalForm PerDayStrategyForMileage (mileageDrivenPerYear Automobile ?place ?miles-per-year)) (suggestionSubgoals PerDayStrategyForMileage (TheList (mileageDrivenPerDay Automobile ?place ?miles-per-day))) (suggestionResultStep PerDayStrategyForMileage (evaluate ?miles-per-year (TimesFn ?miles-per-day 365))) (isa ExpenseOnHealthStrategy Suggestion) (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius))) (suggestionGoalForm ExpenseOnHealthStrategy (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer)) (suggestionResultStep MileageConsumptionStrategy (evaluate ?annual-consumption (QuotientFn (TimesFn ?miles ?num-automobiles) ?miles-per-gallon))) (suggestionSubgoals ExpenseOnHealthStrategy (TheList (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer)))) (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount) (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy) (suggestionSubgoals UniformAgeDistributionStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (minimumAge K-8SchoolStudent ?min) (maximumAge K-8SchoolStudent ?max) (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration ?life)))) (isa UniformAgeDistributionStrategy Suggestion) (suggestionResultStep UniformAgeDistributionStrategy (evaluate ?numstudents (TimesFn (QuotientFn (DifferenceFn ?max ?min) ?life) ?population))) (suggestionGoalForm UniformAgeDistributionStrategy (cardinality K-8SchoolStudent ?numstudents)) (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost))) (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3)))) (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w))) (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy) (isa StudentsPerTeacherStrategy Suggestion) (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count)) (suggestionGoalForm StudentsPerTeacherStrategy (cardinality K-8SchoolTeacher ?numteachers)) (suggestionSubgoals StudentsPerTeacherStrategy (TheList (cardinality K-8SchoolStudent ?numstudents) (studentsPerTeacher K-8School ?perteacher))) (isa VolumeFormulaForSphere Suggestion) (isa FractionOfTotalStrategy Suggestion) (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent))) (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))) (ist-Asserted SuggestionMT (suggestionSubgoals MileageConsumptionStrategy (TheList (mileageDrivenPerYear Automobile ?place ?miles) (unitsTotal Automobile ?place ?time ?num-automobiles) (fuelConsumption Automobile (MilesPerGallon ?miles-per-gallon))))) (ist-Asserted SuggestionMT (isa PerDayStrategyForMileage Suggestion)) (ist-Asserted SuggestionMT (isa MileageConsumptionStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestFor (annualAutomobileGasConsumption ?place ?time (Gallon-US ?annual-consumption)) MileageConsumptionStrategy)) (ist-Asserted SuggestionMT (suggestionGoalForm MileageConsumptionStrategy (annualAutomobileGasConsumption ?place ?time (Gallon-US ?annual-consumption)))) (ist-Asserted SuggestionMT (isa PerBuyerStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy)) (ist-Asserted SuggestionMT (suggestFor (annualProduction Garbage-Generic ?region ?time ?total-garbage-mass) HouseholdGarbageStrategy)) (ist-Asserted SuggestionMT (isa HouseholdGarbageStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionGoalForm HouseholdGarbageStrategy (annualProduction Garbage-Generic ?region ?time ?total-garbage-mass))) (ist-Asserted SuggestionMT (suggestionSubgoals HouseholdGarbageStrategy (TheList (numberOfHouseholds ?region ?time ?num-households) (amountProducedInEvent GarbageDisposalEvent Garbage-Generic (Pound-UnitOfMass ?garbage-per-house))))) (ist-Asserted SuggestionMT (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money))) (ist-Asserted SuggestionMT (suggestionResultStep HouseholdGarbageStrategy (evaluate ?total-garbage-mass (TimesFn ?num-households ?garbage-per-house)))) (ist-Asserted SuggestionMT (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number)))) (ist-Asserted SuggestionMT (suggestionSubgoals HouseholdViaPopulationStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (sizeOf CohabitationUnit UnitedStatesOfAmerica ?size)))) (ist-Asserted SuggestionMT (suggestionSubgoals HouseholdStrategyForCountingUnits (TheList (numberOfHouseholds ?place ?time ?num-households) (unitsPerHousehold ?obj ?units-per-household)))) (ist-Asserted SuggestionMT (isa HouseholdViaPopulationStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestFor (numberOfHouseholds ?place ?time ?num-households) HouseholdViaPopulationStrategy)) (ist-Asserted SuggestionMT (suggestionGoalForm HouseholdViaPopulationStrategy (numberOfHouseholds ?place ?time ?num-households))) (ist-Asserted SuggestionMT (suggestionResultStep HouseholdViaPopulationStrategy (evaluate ?num-households (QuotientFn ?population ?size)))) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2)))) (ist-Asserted SuggestionMT (suggestFor (unitsTotal ?obj ?place ?time ?total-units) HouseholdStrategyForCountingUnits)) (ist-Asserted SuggestionMT (isa HouseholdStrategyForCountingUnits Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number)))) (ist-Asserted SuggestionMT (suggestionGoalForm HouseholdStrategyForCountingUnits (unitsTotal ?obj ?place ?time ?total-units))) (ist-Asserted SuggestionMT (suggestionResultStep HouseholdStrategyForCountingUnits (evaluate ?total-units (TimesFn ?num-households ?units-per-household)))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (isa VolumeFormulaForRectangular3DShape Suggestion)) (ist-Asserted SuggestionMT (isa AgeStrategyForUnitsBought Suggestion)) (ist-Asserted SuggestionMT (suggestFor (unitsBoughtPerYear ?obj ?place ?time ?units-per-year) AgeStrategyForUnitsBought)) (ist-Asserted SuggestionMT (suggestionGoalForm AgeStrategyForUnitsBought (unitsBoughtPerYear ?obj ?place ?time ?units-per-year))) (ist-Asserted SuggestionMT (suggestionSubgoals AgeStrategyForUnitsBought (TheList (unitsTotal ?obj ?place ?time ?total-units) (age ?obj (YearsDuration ?life))))) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape))) (ist-Asserted SuggestionMT (isa VolumeStrategyForCount Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep AgeStrategyForUnitsBought (evaluate ?units-per-year (QuotientFn ?total-units ?life)))) (ist-Asserted SuggestionMT (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy)) (ist-Asserted SuggestionMT (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100)))) (ist-Asserted SuggestionMT (suggestionResultStep ExpenseOnHealthStrategy (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer)))) (ist-Asserted SuggestionMT (suggestionResultStep PerEventStrategy (evaluate ?total-units (TimesFn ?num-subevents ?units-per-subevent)))) (ist-Asserted SuggestionMT (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number))) (ist-Asserted SuggestionMT (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?time ?total) (percentOfBuyers ?obj ?place ?percent)))) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost)) (ist-Asserted SuggestionMT (isa UnitaryStrategyForCost Suggestion)) (ist-Asserted SuggestionMT (implies (subEvents ?event ?subevent) (suggestFor (unitsSold ?obj ?place ?event ?total-units) PerEventStrategy))) (ist-Asserted SuggestionMT (isa PerEventStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w)))) (ist-Asserted SuggestionMT (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer))) (ist-Asserted SuggestionMT (suggestFor (unitsSold ?obj ?place ?event ?total-units-sold) PerBuyerStrategy)) (ist-Asserted SuggestionMT (suggestionGoalForm PerEventStrategy (unitsSold ?obj ?place ?event ?total-units))) (ist-Asserted SuggestionMT (suggestionGoalForm PerBuyerStrategy (unitsSold ?obj ?place ?event ?total-units-sold))) (ist-Asserted SuggestionMT (suggestionSubgoals PerBuyerStrategy (TheList (numberOfBuyers ?obj ?place ?event ?num-buyers) (unitsBoughtPerBuyer ?obj ?place ?event ?units-per-buyer)))) (ist-Asserted SuggestionMT (suggestionResultStep PerBuyerStrategy (evaluate ?total-units-sold (TimesFn ?num-buyers ?units-per-buyer)))) (ist-Asserted SuggestionMT (suggestionResultStep StudentsPerTeacherStrategy (evaluate ?numteachers (QuotientFn ?numstudents ?perteacher)))) (ist-Asserted SuggestionMT (suggestionSubgoals PerEventStrategy (TheList (numberOfOccurancesIn ?event ?subevent ?num-subevents) (unitsSold ?obj ?place ?subevent ?units-per-subevent)))) (ist-Asserted SuggestionMT (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost)))) (ist-Asserted SuggestionMT (suggestFor (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer) ExpenseOnHealthStrategy)) (ist-Asserted SuggestionMT (suggestFor (mileageDrivenPerYear Automobile ?place ?miles-per-year) PerDayStrategyForMileage)) (ist-Asserted SuggestionMT (suggestionGoalForm PerDayStrategyForMileage (mileageDrivenPerYear Automobile ?place ?miles-per-year))) (ist-Asserted SuggestionMT (suggestionSubgoals PerDayStrategyForMileage (TheList (mileageDrivenPerDay Automobile ?place ?miles-per-day)))) (ist-Asserted SuggestionMT (suggestionResultStep PerDayStrategyForMileage (evaluate ?miles-per-year (TimesFn ?miles-per-day 365)))) (ist-Asserted SuggestionMT (isa ExpenseOnHealthStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius)))) (ist-Asserted SuggestionMT (suggestionGoalForm ExpenseOnHealthStrategy (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer))) (ist-Asserted SuggestionMT (suggestionResultStep MileageConsumptionStrategy (evaluate ?annual-consumption (QuotientFn (TimesFn ?miles ?num-automobiles) ?miles-per-gallon)))) (ist-Asserted SuggestionMT (suggestionSubgoals ExpenseOnHealthStrategy (TheList (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer))))) (ist-Asserted SuggestionMT (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount)) (ist-Asserted SuggestionMT (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy)) (ist-Asserted SuggestionMT (suggestionSubgoals UniformAgeDistributionStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (minimumAge K-8SchoolStudent ?min) (maximumAge K-8SchoolStudent ?max) (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration ?life))))) (ist-Asserted SuggestionMT (isa UniformAgeDistributionStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep UniformAgeDistributionStrategy (evaluate ?numstudents (TimesFn (QuotientFn (DifferenceFn ?max ?min) ?life) ?population)))) (ist-Asserted SuggestionMT (suggestionGoalForm UniformAgeDistributionStrategy (cardinality K-8SchoolStudent ?numstudents))) (ist-Asserted SuggestionMT (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3))))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w)))) (ist-Asserted SuggestionMT (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy)) (ist-Asserted SuggestionMT (isa StudentsPerTeacherStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count))) (ist-Asserted SuggestionMT (suggestionGoalForm StudentsPerTeacherStrategy (cardinality K-8SchoolTeacher ?numteachers))) (ist-Asserted SuggestionMT (suggestionSubgoals StudentsPerTeacherStrategy (TheList (cardinality K-8SchoolStudent ?numstudents) (studentsPerTeacher K-8School ?perteacher)))) (ist-Asserted SuggestionMT (isa VolumeFormulaForSphere Suggestion)) (ist-Asserted SuggestionMT (isa FractionOfTotalStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))))) ((isa PerBuyerStrategy Suggestion) (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy) (suggestFor (annualProduction Garbage-Generic ?region ?time ?total-garbage-mass) HouseholdGarbageStrategy) (isa HouseholdGarbageStrategy Suggestion) (suggestionGoalForm HouseholdGarbageStrategy (annualProduction Garbage-Generic ?region ?time ?total-garbage-mass)) (suggestionSubgoals HouseholdGarbageStrategy (TheList (numberOfHouseholds ?region ?time ?num-households) (amountProducedInEvent GarbageDisposalEvent Garbage-Generic (Pound-UnitOfMass ?garbage-per-house)))) (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money)) (suggestionResultStep HouseholdGarbageStrategy (evaluate ?total-garbage-mass (TimesFn ?num-households ?garbage-per-house))) (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number))) (suggestionSubgoals HouseholdViaPopulationStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (sizeOf CohabitationUnit UnitedStatesOfAmerica ?size))) (suggestionSubgoals HouseholdStrategyForCountingUnits (TheList (numberOfHouseholds ?place ?time ?num-households) (unitsPerHousehold ?obj ?units-per-household))) (isa HouseholdViaPopulationStrategy Suggestion) (suggestFor (numberOfHouseholds ?place ?time ?num-households) HouseholdViaPopulationStrategy) (suggestionGoalForm HouseholdViaPopulationStrategy (numberOfHouseholds ?place ?time ?num-households)) (suggestionResultStep HouseholdViaPopulationStrategy (evaluate ?num-households (QuotientFn ?population ?size))) (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2))) (suggestFor (unitsTotal ?obj ?place ?time ?total-units) HouseholdStrategyForCountingUnits) (isa HouseholdStrategyForCountingUnits Suggestion) (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number))) (suggestionGoalForm HouseholdStrategyForCountingUnits (unitsTotal ?obj ?place ?time ?total-units)) (suggestionResultStep HouseholdStrategyForCountingUnits (evaluate ?total-units (TimesFn ?num-households ?units-per-household))) (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol)) (isa VolumeFormulaForRectangular3DShape Suggestion) (isa AgeStrategyForUnitsBought Suggestion) (suggestFor (unitsBoughtPerYear ?obj ?place ?time ?units-per-year) AgeStrategyForUnitsBought) (suggestionGoalForm AgeStrategyForUnitsBought (unitsBoughtPerYear ?obj ?place ?time ?units-per-year)) (suggestionSubgoals AgeStrategyForUnitsBought (TheList (unitsTotal ?obj ?place ?time ?total-units) (age ?obj (YearsDuration ?life)))) (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape)) (isa VolumeStrategyForCount Suggestion) (suggestionResultStep AgeStrategyForUnitsBought (evaluate ?units-per-year (QuotientFn ?total-units ?life))) (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy) (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100))) (suggestionResultStep ExpenseOnHealthStrategy (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer))) (suggestionResultStep PerEventStrategy (evaluate ?total-units (TimesFn ?num-subevents ?units-per-subevent))) (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number)) (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?time ?total) (percentOfBuyers ?obj ?place ?percent))) (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere)) (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol)) (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost) (isa UnitaryStrategyForCost Suggestion) (implies (subEvents ?event ?subevent) (suggestFor (unitsSold ?obj ?place ?event ?total-units) PerEventStrategy)) (isa PerEventStrategy Suggestion) (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w))) (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer)) (suggestFor (unitsSold ?obj ?place ?event ?total-units-sold) PerBuyerStrategy) (suggestionGoalForm PerEventStrategy (unitsSold ?obj ?place ?event ?total-units)) (suggestionGoalForm PerBuyerStrategy (unitsSold ?obj ?place ?event ?total-units-sold)) (suggestionSubgoals PerBuyerStrategy (TheList (numberOfBuyers ?obj ?place ?event ?num-buyers) (unitsBoughtPerBuyer ?obj ?place ?event ?units-per-buyer))) (suggestionResultStep PerBuyerStrategy (evaluate ?total-units-sold (TimesFn ?num-buyers ?units-per-buyer))) (suggestionResultStep StudentsPerTeacherStrategy (evaluate ?numteachers (QuotientFn ?numstudents ?perteacher))) (suggestionSubgoals PerEventStrategy (TheList (numberOfOccurancesIn ?event ?subevent ?num-subevents) (unitsSold ?obj ?place ?subevent ?units-per-subevent))) (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost))) (suggestFor (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer) ExpenseOnHealthStrategy) (isa ExpenseOnHealthStrategy Suggestion) (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius))) (suggestionGoalForm ExpenseOnHealthStrategy (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer)) (suggestionSubgoals ExpenseOnHealthStrategy (TheList (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer)))) (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount) (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy) (suggestionSubgoals UniformAgeDistributionStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (minimumAge K-8SchoolStudent ?min) (maximumAge K-8SchoolStudent ?max) (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration ?life)))) (isa UniformAgeDistributionStrategy Suggestion) (suggestionResultStep UniformAgeDistributionStrategy (evaluate ?numstudents (TimesFn (QuotientFn (DifferenceFn ?max ?min) ?life) ?population))) (suggestionGoalForm UniformAgeDistributionStrategy (cardinality K-8SchoolStudent ?numstudents)) (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost))) (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3)))) (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w))) (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy) (isa StudentsPerTeacherStrategy Suggestion) (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count)) (suggestionGoalForm StudentsPerTeacherStrategy (cardinality K-8SchoolTeacher ?numteachers)) (suggestionSubgoals StudentsPerTeacherStrategy (TheList (cardinality K-8SchoolStudent ?numstudents) (studentsPerTeacher K-8School ?perteacher))) (isa VolumeFormulaForSphere Suggestion) (isa FractionOfTotalStrategy Suggestion) (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent))) (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))) (ist-Asserted SuggestionMT (isa PerBuyerStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy)) (ist-Asserted SuggestionMT (suggestFor (annualProduction Garbage-Generic ?region ?time ?total-garbage-mass) HouseholdGarbageStrategy)) (ist-Asserted SuggestionMT (isa HouseholdGarbageStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionGoalForm HouseholdGarbageStrategy (annualProduction Garbage-Generic ?region ?time ?total-garbage-mass))) (ist-Asserted SuggestionMT (suggestionSubgoals HouseholdGarbageStrategy (TheList (numberOfHouseholds ?region ?time ?num-households) (amountProducedInEvent GarbageDisposalEvent Garbage-Generic (Pound-UnitOfMass ?garbage-per-house))))) (ist-Asserted SuggestionMT (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money))) (ist-Asserted SuggestionMT (suggestionResultStep HouseholdGarbageStrategy (evaluate ?total-garbage-mass (TimesFn ?num-households ?garbage-per-house)))) (ist-Asserted SuggestionMT (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number)))) (ist-Asserted SuggestionMT (suggestionSubgoals HouseholdViaPopulationStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (sizeOf CohabitationUnit UnitedStatesOfAmerica ?size)))) (ist-Asserted SuggestionMT (suggestionSubgoals HouseholdStrategyForCountingUnits (TheList (numberOfHouseholds ?place ?time ?num-households) (unitsPerHousehold ?obj ?units-per-household)))) (ist-Asserted SuggestionMT (isa HouseholdViaPopulationStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestFor (numberOfHouseholds ?place ?time ?num-households) HouseholdViaPopulationStrategy)) (ist-Asserted SuggestionMT (suggestionGoalForm HouseholdViaPopulationStrategy (numberOfHouseholds ?place ?time ?num-households))) (ist-Asserted SuggestionMT (suggestionResultStep HouseholdViaPopulationStrategy (evaluate ?num-households (QuotientFn ?population ?size)))) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2)))) (ist-Asserted SuggestionMT (suggestFor (unitsTotal ?obj ?place ?time ?total-units) HouseholdStrategyForCountingUnits)) (ist-Asserted SuggestionMT (isa HouseholdStrategyForCountingUnits Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number)))) (ist-Asserted SuggestionMT (suggestionGoalForm HouseholdStrategyForCountingUnits (unitsTotal ?obj ?place ?time ?total-units))) (ist-Asserted SuggestionMT (suggestionResultStep HouseholdStrategyForCountingUnits (evaluate ?total-units (TimesFn ?num-households ?units-per-household)))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (isa VolumeFormulaForRectangular3DShape Suggestion)) (ist-Asserted SuggestionMT (isa AgeStrategyForUnitsBought Suggestion)) (ist-Asserted SuggestionMT (suggestFor (unitsBoughtPerYear ?obj ?place ?time ?units-per-year) AgeStrategyForUnitsBought)) (ist-Asserted SuggestionMT (suggestionGoalForm AgeStrategyForUnitsBought (unitsBoughtPerYear ?obj ?place ?time ?units-per-year))) (ist-Asserted SuggestionMT (suggestionSubgoals AgeStrategyForUnitsBought (TheList (unitsTotal ?obj ?place ?time ?total-units) (age ?obj (YearsDuration ?life))))) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape))) (ist-Asserted SuggestionMT (isa VolumeStrategyForCount Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep AgeStrategyForUnitsBought (evaluate ?units-per-year (QuotientFn ?total-units ?life)))) (ist-Asserted SuggestionMT (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy)) (ist-Asserted SuggestionMT (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100)))) (ist-Asserted SuggestionMT (suggestionResultStep ExpenseOnHealthStrategy (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer)))) (ist-Asserted SuggestionMT (suggestionResultStep PerEventStrategy (evaluate ?total-units (TimesFn ?num-subevents ?units-per-subevent)))) (ist-Asserted SuggestionMT (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number))) (ist-Asserted SuggestionMT (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?time ?total) (percentOfBuyers ?obj ?place ?percent)))) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost)) (ist-Asserted SuggestionMT (isa UnitaryStrategyForCost Suggestion)) (ist-Asserted SuggestionMT (implies (subEvents ?event ?subevent) (suggestFor (unitsSold ?obj ?place ?event ?total-units) PerEventStrategy))) (ist-Asserted SuggestionMT (isa PerEventStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w)))) (ist-Asserted SuggestionMT (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer))) (ist-Asserted SuggestionMT (suggestFor (unitsSold ?obj ?place ?event ?total-units-sold) PerBuyerStrategy)) (ist-Asserted SuggestionMT (suggestionGoalForm PerEventStrategy (unitsSold ?obj ?place ?event ?total-units))) (ist-Asserted SuggestionMT (suggestionGoalForm PerBuyerStrategy (unitsSold ?obj ?place ?event ?total-units-sold))) (ist-Asserted SuggestionMT (suggestionSubgoals PerBuyerStrategy (TheList (numberOfBuyers ?obj ?place ?event ?num-buyers) (unitsBoughtPerBuyer ?obj ?place ?event ?units-per-buyer)))) (ist-Asserted SuggestionMT (suggestionResultStep PerBuyerStrategy (evaluate ?total-units-sold (TimesFn ?num-buyers ?units-per-buyer)))) (ist-Asserted SuggestionMT (suggestionResultStep StudentsPerTeacherStrategy (evaluate ?numteachers (QuotientFn ?numstudents ?perteacher)))) (ist-Asserted SuggestionMT (suggestionSubgoals PerEventStrategy (TheList (numberOfOccurancesIn ?event ?subevent ?num-subevents) (unitsSold ?obj ?place ?subevent ?units-per-subevent)))) (ist-Asserted SuggestionMT (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost)))) (ist-Asserted SuggestionMT (suggestFor (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer) ExpenseOnHealthStrategy)) (ist-Asserted SuggestionMT (isa ExpenseOnHealthStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius)))) (ist-Asserted SuggestionMT (suggestionGoalForm ExpenseOnHealthStrategy (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer))) (ist-Asserted SuggestionMT (suggestionSubgoals ExpenseOnHealthStrategy (TheList (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer))))) (ist-Asserted SuggestionMT (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount)) (ist-Asserted SuggestionMT (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy)) (ist-Asserted SuggestionMT (suggestionSubgoals UniformAgeDistributionStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (minimumAge K-8SchoolStudent ?min) (maximumAge K-8SchoolStudent ?max) (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration ?life))))) (ist-Asserted SuggestionMT (isa UniformAgeDistributionStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep UniformAgeDistributionStrategy (evaluate ?numstudents (TimesFn (QuotientFn (DifferenceFn ?max ?min) ?life) ?population)))) (ist-Asserted SuggestionMT (suggestionGoalForm UniformAgeDistributionStrategy (cardinality K-8SchoolStudent ?numstudents))) (ist-Asserted SuggestionMT (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3))))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w)))) (ist-Asserted SuggestionMT (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy)) (ist-Asserted SuggestionMT (isa StudentsPerTeacherStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count))) (ist-Asserted SuggestionMT (suggestionGoalForm StudentsPerTeacherStrategy (cardinality K-8SchoolTeacher ?numteachers))) (ist-Asserted SuggestionMT (suggestionSubgoals StudentsPerTeacherStrategy (TheList (cardinality K-8SchoolStudent ?numstudents) (studentsPerTeacher K-8School ?perteacher)))) (ist-Asserted SuggestionMT (isa VolumeFormulaForSphere Suggestion)) (ist-Asserted SuggestionMT (isa FractionOfTotalStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))))) ((isa PerBuyerStrategy Suggestion) (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy) (suggestFor (annualProduction Garbage-Generic ?region ?time ?total-garbage-mass) HouseholdGarbageStrategy) (isa HouseholdGarbageStrategy Suggestion) (suggestionGoalForm HouseholdGarbageStrategy (annualProduction Garbage-Generic ?region ?time ?total-garbage-mass)) (suggestionSubgoals HouseholdGarbageStrategy (TheList (numberOfHouseholds ?region ?time ?num-households) (amountProducedInEvent GarbageDisposalEvent Garbage-Generic (Pound-UnitOfMass ?garbage-per-house)))) (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money)) (suggestionResultStep HouseholdGarbageStrategy (evaluate ?total-garbage-mass (TimesFn ?num-households ?garbage-per-house))) (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number))) (suggestionSubgoals HouseholdViaPopulationStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (sizeOf CohabitationUnit UnitedStatesOfAmerica ?size))) (suggestionSubgoals HouseholdStrategyForCountingUnits (TheList (numberOfHouseholds ?place ?time ?num-households) (unitsPerHousehold ?obj ?units-per-household))) (isa HouseholdViaPopulationStrategy Suggestion) (suggestFor (numberOfHouseholds ?place ?time ?num-households) HouseholdViaPopulationStrategy) (suggestionGoalForm HouseholdViaPopulationStrategy (numberOfHouseholds ?place ?time ?num-households)) (suggestionResultStep HouseholdViaPopulationStrategy (evaluate ?num-households (QuotientFn ?population ?size))) (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2))) (suggestFor (unitsTotal ?obj ?place ?time ?total-units) HouseholdStrategyForCountingUnits) (isa HouseholdStrategyForCountingUnits Suggestion) (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number))) (suggestionGoalForm HouseholdStrategyForCountingUnits (unitsTotal ?obj ?place ?time ?total-units)) (suggestionResultStep HouseholdStrategyForCountingUnits (evaluate ?total-units (TimesFn ?num-households ?units-per-household))) (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol)) (isa VolumeFormulaForRectangular3DShape Suggestion) (isa AgeStrategyForUnitsBought Suggestion) (suggestFor (unitsBoughtPerYear ?obj ?place ?time ?units-per-year) AgeStrategyForUnitsBought) (suggestionGoalForm AgeStrategyForUnitsBought (unitsBoughtPerYear ?obj ?place ?time ?units-per-year)) (suggestionSubgoals AgeStrategyForUnitsBought (TheList (unitsTotal ?obj ?place ?time ?total-units) (age ?obj (YearsDuration ?life)))) (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape)) (isa VolumeStrategyForCount Suggestion) (suggestionResultStep AgeStrategyForUnitsBought (evaluate ?units-per-year (QuotientFn ?total-units ?life))) (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy) (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100))) (suggestionResultStep ExpenseOnHealthStrategy (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer))) (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number)) (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?time ?total) (percentOfBuyers ?obj ?place ?percent))) (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere)) (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol)) (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost) (isa UnitaryStrategyForCost Suggestion) (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w))) (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer)) (suggestionResultStep StudentsPerTeacherStrategy (evaluate ?numteachers (QuotientFn ?numstudents ?perteacher))) (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost))) (suggestFor (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer) ExpenseOnHealthStrategy) (isa ExpenseOnHealthStrategy Suggestion) (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius))) (suggestionGoalForm ExpenseOnHealthStrategy (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer)) (suggestionSubgoals ExpenseOnHealthStrategy (TheList (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer)))) (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount) (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy) (suggestionSubgoals UniformAgeDistributionStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (minimumAge K-8SchoolStudent ?min) (maximumAge K-8SchoolStudent ?max) (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration ?life)))) (isa UniformAgeDistributionStrategy Suggestion) (suggestionResultStep UniformAgeDistributionStrategy (evaluate ?numstudents (TimesFn (QuotientFn (DifferenceFn ?max ?min) ?life) ?population))) (suggestionGoalForm UniformAgeDistributionStrategy (cardinality K-8SchoolStudent ?numstudents)) (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost))) (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3)))) (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w))) (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy) (isa StudentsPerTeacherStrategy Suggestion) (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count)) (suggestionGoalForm StudentsPerTeacherStrategy (cardinality K-8SchoolTeacher ?numteachers)) (suggestionSubgoals StudentsPerTeacherStrategy (TheList (cardinality K-8SchoolStudent ?numstudents) (studentsPerTeacher K-8School ?perteacher))) (isa VolumeFormulaForSphere Suggestion) (isa FractionOfTotalStrategy Suggestion) (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent))) (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))) (ist-Asserted SuggestionMT (isa PerBuyerStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy)) (ist-Asserted SuggestionMT (suggestFor (annualProduction Garbage-Generic ?region ?time ?total-garbage-mass) HouseholdGarbageStrategy)) (ist-Asserted SuggestionMT (isa HouseholdGarbageStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionGoalForm HouseholdGarbageStrategy (annualProduction Garbage-Generic ?region ?time ?total-garbage-mass))) (ist-Asserted SuggestionMT (suggestionSubgoals HouseholdGarbageStrategy (TheList (numberOfHouseholds ?region ?time ?num-households) (amountProducedInEvent GarbageDisposalEvent Garbage-Generic (Pound-UnitOfMass ?garbage-per-house))))) (ist-Asserted SuggestionMT (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money))) (ist-Asserted SuggestionMT (suggestionResultStep HouseholdGarbageStrategy (evaluate ?total-garbage-mass (TimesFn ?num-households ?garbage-per-house)))) (ist-Asserted SuggestionMT (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number)))) (ist-Asserted SuggestionMT (suggestionSubgoals HouseholdViaPopulationStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (sizeOf CohabitationUnit UnitedStatesOfAmerica ?size)))) (ist-Asserted SuggestionMT (suggestionSubgoals HouseholdStrategyForCountingUnits (TheList (numberOfHouseholds ?place ?time ?num-households) (unitsPerHousehold ?obj ?units-per-household)))) (ist-Asserted SuggestionMT (isa HouseholdViaPopulationStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestFor (numberOfHouseholds ?place ?time ?num-households) HouseholdViaPopulationStrategy)) (ist-Asserted SuggestionMT (suggestionGoalForm HouseholdViaPopulationStrategy (numberOfHouseholds ?place ?time ?num-households))) (ist-Asserted SuggestionMT (suggestionResultStep HouseholdViaPopulationStrategy (evaluate ?num-households (QuotientFn ?population ?size)))) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2)))) (ist-Asserted SuggestionMT (suggestFor (unitsTotal ?obj ?place ?time ?total-units) HouseholdStrategyForCountingUnits)) (ist-Asserted SuggestionMT (isa HouseholdStrategyForCountingUnits Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number)))) (ist-Asserted SuggestionMT (suggestionGoalForm HouseholdStrategyForCountingUnits (unitsTotal ?obj ?place ?time ?total-units))) (ist-Asserted SuggestionMT (suggestionResultStep HouseholdStrategyForCountingUnits (evaluate ?total-units (TimesFn ?num-households ?units-per-household)))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (isa VolumeFormulaForRectangular3DShape Suggestion)) (ist-Asserted SuggestionMT (isa AgeStrategyForUnitsBought Suggestion)) (ist-Asserted SuggestionMT (suggestFor (unitsBoughtPerYear ?obj ?place ?time ?units-per-year) AgeStrategyForUnitsBought)) (ist-Asserted SuggestionMT (suggestionGoalForm AgeStrategyForUnitsBought (unitsBoughtPerYear ?obj ?place ?time ?units-per-year))) (ist-Asserted SuggestionMT (suggestionSubgoals AgeStrategyForUnitsBought (TheList (unitsTotal ?obj ?place ?time ?total-units) (age ?obj (YearsDuration ?life))))) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape))) (ist-Asserted SuggestionMT (isa VolumeStrategyForCount Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep AgeStrategyForUnitsBought (evaluate ?units-per-year (QuotientFn ?total-units ?life)))) (ist-Asserted SuggestionMT (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy)) (ist-Asserted SuggestionMT (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100)))) (ist-Asserted SuggestionMT (suggestionResultStep ExpenseOnHealthStrategy (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer)))) (ist-Asserted SuggestionMT (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number))) (ist-Asserted SuggestionMT (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?time ?total) (percentOfBuyers ?obj ?place ?percent)))) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost)) (ist-Asserted SuggestionMT (isa UnitaryStrategyForCost Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w)))) (ist-Asserted SuggestionMT (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer))) (ist-Asserted SuggestionMT (suggestionResultStep StudentsPerTeacherStrategy (evaluate ?numteachers (QuotientFn ?numstudents ?perteacher)))) (ist-Asserted SuggestionMT (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost)))) (ist-Asserted SuggestionMT (suggestFor (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer) ExpenseOnHealthStrategy)) (ist-Asserted SuggestionMT (isa ExpenseOnHealthStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius)))) (ist-Asserted SuggestionMT (suggestionGoalForm ExpenseOnHealthStrategy (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer))) (ist-Asserted SuggestionMT (suggestionSubgoals ExpenseOnHealthStrategy (TheList (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer))))) (ist-Asserted SuggestionMT (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount)) (ist-Asserted SuggestionMT (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy)) (ist-Asserted SuggestionMT (suggestionSubgoals UniformAgeDistributionStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (minimumAge K-8SchoolStudent ?min) (maximumAge K-8SchoolStudent ?max) (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration ?life))))) (ist-Asserted SuggestionMT (isa UniformAgeDistributionStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep UniformAgeDistributionStrategy (evaluate ?numstudents (TimesFn (QuotientFn (DifferenceFn ?max ?min) ?life) ?population)))) (ist-Asserted SuggestionMT (suggestionGoalForm UniformAgeDistributionStrategy (cardinality K-8SchoolStudent ?numstudents))) (ist-Asserted SuggestionMT (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3))))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w)))) (ist-Asserted SuggestionMT (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy)) (ist-Asserted SuggestionMT (isa StudentsPerTeacherStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count))) (ist-Asserted SuggestionMT (suggestionGoalForm StudentsPerTeacherStrategy (cardinality K-8SchoolTeacher ?numteachers))) (ist-Asserted SuggestionMT (suggestionSubgoals StudentsPerTeacherStrategy (TheList (cardinality K-8SchoolStudent ?numstudents) (studentsPerTeacher K-8School ?perteacher)))) (ist-Asserted SuggestionMT (isa VolumeFormulaForSphere Suggestion)) (ist-Asserted SuggestionMT (isa FractionOfTotalStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))))) ((isa PerBuyerStrategy Suggestion) (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy) (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money)) (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number))) (suggestionSubgoals HouseholdViaPopulationStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (sizeOf CohabitationUnit UnitedStatesOfAmerica ?size))) (suggestionSubgoals HouseholdStrategyForCountingUnits (TheList (numberOfHouseholds ?place ?time ?num-households) (unitsPerHousehold ?obj ?units-per-household))) (isa HouseholdViaPopulationStrategy Suggestion) (suggestFor (numberOfHouseholds ?place ?time ?num-households) HouseholdViaPopulationStrategy) (suggestionGoalForm HouseholdViaPopulationStrategy (numberOfHouseholds ?place ?time ?num-households)) (suggestionResultStep HouseholdViaPopulationStrategy (evaluate ?num-households (QuotientFn ?population ?size))) (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2))) (suggestFor (unitsTotal ?obj ?place ?time ?total-units) HouseholdStrategyForCountingUnits) (isa HouseholdStrategyForCountingUnits Suggestion) (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number))) (suggestionGoalForm HouseholdStrategyForCountingUnits (unitsTotal ?obj ?place ?time ?total-units)) (suggestionResultStep HouseholdStrategyForCountingUnits (evaluate ?total-units (TimesFn ?num-households ?units-per-household))) (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol)) (isa VolumeFormulaForRectangular3DShape Suggestion) (isa AgeStrategyForUnitsBought Suggestion) (suggestFor (unitsBoughtPerYear ?obj ?place ?time ?units-per-year) AgeStrategyForUnitsBought) (suggestionGoalForm AgeStrategyForUnitsBought (unitsBoughtPerYear ?obj ?place ?time ?units-per-year)) (suggestionSubgoals AgeStrategyForUnitsBought (TheList (unitsTotal ?obj ?place ?time ?total-units) (age ?obj (YearsDuration ?life)))) (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape)) (isa VolumeStrategyForCount Suggestion) (suggestionResultStep AgeStrategyForUnitsBought (evaluate ?units-per-year (QuotientFn ?total-units ?life))) (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy) (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100))) (suggestionResultStep ExpenseOnHealthStrategy (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer))) (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number)) (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?time ?total) (percentOfBuyers ?obj ?place ?percent))) (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere)) (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol)) (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost) (isa UnitaryStrategyForCost Suggestion) (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w))) (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer)) (suggestionResultStep StudentsPerTeacherStrategy (evaluate ?numteachers (QuotientFn ?numstudents ?perteacher))) (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost))) (suggestFor (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer) ExpenseOnHealthStrategy) (isa ExpenseOnHealthStrategy Suggestion) (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius))) (suggestionGoalForm ExpenseOnHealthStrategy (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer)) (suggestionSubgoals ExpenseOnHealthStrategy (TheList (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer)))) (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount) (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy) (suggestionSubgoals UniformAgeDistributionStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (minimumAge K-8SchoolStudent ?min) (maximumAge K-8SchoolStudent ?max) (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration ?life)))) (isa UniformAgeDistributionStrategy Suggestion) (suggestionResultStep UniformAgeDistributionStrategy (evaluate ?numstudents (TimesFn (QuotientFn (DifferenceFn ?max ?min) ?life) ?population))) (suggestionGoalForm UniformAgeDistributionStrategy (cardinality K-8SchoolStudent ?numstudents)) (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost))) (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3)))) (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w))) (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy) (isa StudentsPerTeacherStrategy Suggestion) (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count)) (suggestionGoalForm StudentsPerTeacherStrategy (cardinality K-8SchoolTeacher ?numteachers)) (suggestionSubgoals StudentsPerTeacherStrategy (TheList (cardinality K-8SchoolStudent ?numstudents) (studentsPerTeacher K-8School ?perteacher))) (isa VolumeFormulaForSphere Suggestion) (isa FractionOfTotalStrategy Suggestion) (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent))) (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))) (ist-Asserted SuggestionMT (isa PerBuyerStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy)) (ist-Asserted SuggestionMT (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money))) (ist-Asserted SuggestionMT (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number)))) (ist-Asserted SuggestionMT (suggestionSubgoals HouseholdViaPopulationStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (sizeOf CohabitationUnit UnitedStatesOfAmerica ?size)))) (ist-Asserted SuggestionMT (suggestionSubgoals HouseholdStrategyForCountingUnits (TheList (numberOfHouseholds ?place ?time ?num-households) (unitsPerHousehold ?obj ?units-per-household)))) (ist-Asserted SuggestionMT (isa HouseholdViaPopulationStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestFor (numberOfHouseholds ?place ?time ?num-households) HouseholdViaPopulationStrategy)) (ist-Asserted SuggestionMT (suggestionGoalForm HouseholdViaPopulationStrategy (numberOfHouseholds ?place ?time ?num-households))) (ist-Asserted SuggestionMT (suggestionResultStep HouseholdViaPopulationStrategy (evaluate ?num-households (QuotientFn ?population ?size)))) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2)))) (ist-Asserted SuggestionMT (suggestFor (unitsTotal ?obj ?place ?time ?total-units) HouseholdStrategyForCountingUnits)) (ist-Asserted SuggestionMT (isa HouseholdStrategyForCountingUnits Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number)))) (ist-Asserted SuggestionMT (suggestionGoalForm HouseholdStrategyForCountingUnits (unitsTotal ?obj ?place ?time ?total-units))) (ist-Asserted SuggestionMT (suggestionResultStep HouseholdStrategyForCountingUnits (evaluate ?total-units (TimesFn ?num-households ?units-per-household)))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (isa VolumeFormulaForRectangular3DShape Suggestion)) (ist-Asserted SuggestionMT (isa AgeStrategyForUnitsBought Suggestion)) (ist-Asserted SuggestionMT (suggestFor (unitsBoughtPerYear ?obj ?place ?time ?units-per-year) AgeStrategyForUnitsBought)) (ist-Asserted SuggestionMT (suggestionGoalForm AgeStrategyForUnitsBought (unitsBoughtPerYear ?obj ?place ?time ?units-per-year))) (ist-Asserted SuggestionMT (suggestionSubgoals AgeStrategyForUnitsBought (TheList (unitsTotal ?obj ?place ?time ?total-units) (age ?obj (YearsDuration ?life))))) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape))) (ist-Asserted SuggestionMT (isa VolumeStrategyForCount Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep AgeStrategyForUnitsBought (evaluate ?units-per-year (QuotientFn ?total-units ?life)))) (ist-Asserted SuggestionMT (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy)) (ist-Asserted SuggestionMT (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100)))) (ist-Asserted SuggestionMT (suggestionResultStep ExpenseOnHealthStrategy (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer)))) (ist-Asserted SuggestionMT (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number))) (ist-Asserted SuggestionMT (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?time ?total) (percentOfBuyers ?obj ?place ?percent)))) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost)) (ist-Asserted SuggestionMT (isa UnitaryStrategyForCost Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w)))) (ist-Asserted SuggestionMT (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer))) (ist-Asserted SuggestionMT (suggestionResultStep StudentsPerTeacherStrategy (evaluate ?numteachers (QuotientFn ?numstudents ?perteacher)))) (ist-Asserted SuggestionMT (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost)))) (ist-Asserted SuggestionMT (suggestFor (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer) ExpenseOnHealthStrategy)) (ist-Asserted SuggestionMT (isa ExpenseOnHealthStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius)))) (ist-Asserted SuggestionMT (suggestionGoalForm ExpenseOnHealthStrategy (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer))) (ist-Asserted SuggestionMT (suggestionSubgoals ExpenseOnHealthStrategy (TheList (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer))))) (ist-Asserted SuggestionMT (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount)) (ist-Asserted SuggestionMT (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy)) (ist-Asserted SuggestionMT (suggestionSubgoals UniformAgeDistributionStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (minimumAge K-8SchoolStudent ?min) (maximumAge K-8SchoolStudent ?max) (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration ?life))))) (ist-Asserted SuggestionMT (isa UniformAgeDistributionStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep UniformAgeDistributionStrategy (evaluate ?numstudents (TimesFn (QuotientFn (DifferenceFn ?max ?min) ?life) ?population)))) (ist-Asserted SuggestionMT (suggestionGoalForm UniformAgeDistributionStrategy (cardinality K-8SchoolStudent ?numstudents))) (ist-Asserted SuggestionMT (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3))))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w)))) (ist-Asserted SuggestionMT (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy)) (ist-Asserted SuggestionMT (isa StudentsPerTeacherStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count))) (ist-Asserted SuggestionMT (suggestionGoalForm StudentsPerTeacherStrategy (cardinality K-8SchoolTeacher ?numteachers))) (ist-Asserted SuggestionMT (suggestionSubgoals StudentsPerTeacherStrategy (TheList (cardinality K-8SchoolStudent ?numstudents) (studentsPerTeacher K-8School ?perteacher)))) (ist-Asserted SuggestionMT (isa VolumeFormulaForSphere Suggestion)) (ist-Asserted SuggestionMT (isa FractionOfTotalStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))))) ((isa PerBuyerStrategy Suggestion) (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy) (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money)) (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number))) (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2))) (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number))) (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol)) (isa VolumeFormulaForRectangular3DShape Suggestion) (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape)) (isa VolumeStrategyForCount Suggestion) (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy) (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100))) (suggestionResultStep ExpenseOnHealthStrategy (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer))) (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number)) (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?time ?total) (percentOfBuyers ?obj ?place ?percent))) (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere)) (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol)) (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost) (isa UnitaryStrategyForCost Suggestion) (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w))) (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer)) (suggestionResultStep StudentsPerTeacherStrategy (evaluate ?numteachers (QuotientFn ?numstudents ?perteacher))) (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost))) (suggestFor (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer) ExpenseOnHealthStrategy) (isa ExpenseOnHealthStrategy Suggestion) (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius))) (suggestionGoalForm ExpenseOnHealthStrategy (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer)) (suggestionSubgoals ExpenseOnHealthStrategy (TheList (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer)))) (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount) (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy) (suggestionSubgoals UniformAgeDistributionStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (minimumAge K-8SchoolStudent ?min) (maximumAge K-8SchoolStudent ?max) (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration ?life)))) (isa UniformAgeDistributionStrategy Suggestion) (suggestionResultStep UniformAgeDistributionStrategy (evaluate ?numstudents (TimesFn (QuotientFn (DifferenceFn ?max ?min) ?life) ?population))) (suggestionGoalForm UniformAgeDistributionStrategy (cardinality K-8SchoolStudent ?numstudents)) (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost))) (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3)))) (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w))) (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy) (isa StudentsPerTeacherStrategy Suggestion) (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count)) (suggestionGoalForm StudentsPerTeacherStrategy (cardinality K-8SchoolTeacher ?numteachers)) (suggestionSubgoals StudentsPerTeacherStrategy (TheList (cardinality K-8SchoolStudent ?numstudents) (studentsPerTeacher K-8School ?perteacher))) (isa VolumeFormulaForSphere Suggestion) (isa FractionOfTotalStrategy Suggestion) (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent))) (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))) (ist-Asserted SuggestionMT (isa PerBuyerStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy)) (ist-Asserted SuggestionMT (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money))) (ist-Asserted SuggestionMT (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number)))) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2)))) (ist-Asserted SuggestionMT (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number)))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (isa VolumeFormulaForRectangular3DShape Suggestion)) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape))) (ist-Asserted SuggestionMT (isa VolumeStrategyForCount Suggestion)) (ist-Asserted SuggestionMT (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy)) (ist-Asserted SuggestionMT (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100)))) (ist-Asserted SuggestionMT (suggestionResultStep ExpenseOnHealthStrategy (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer)))) (ist-Asserted SuggestionMT (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number))) (ist-Asserted SuggestionMT (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?time ?total) (percentOfBuyers ?obj ?place ?percent)))) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost)) (ist-Asserted SuggestionMT (isa UnitaryStrategyForCost Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w)))) (ist-Asserted SuggestionMT (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer))) (ist-Asserted SuggestionMT (suggestionResultStep StudentsPerTeacherStrategy (evaluate ?numteachers (QuotientFn ?numstudents ?perteacher)))) (ist-Asserted SuggestionMT (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost)))) (ist-Asserted SuggestionMT (suggestFor (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer) ExpenseOnHealthStrategy)) (ist-Asserted SuggestionMT (isa ExpenseOnHealthStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius)))) (ist-Asserted SuggestionMT (suggestionGoalForm ExpenseOnHealthStrategy (annualExpensePerBuyer HealthCare ?place ?time ?money-per-buyer))) (ist-Asserted SuggestionMT (suggestionSubgoals ExpenseOnHealthStrategy (TheList (healthInsurancePremiumForGroupInRegion ?place Person (DollarsPerYear ?money-per-buyer))))) (ist-Asserted SuggestionMT (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount)) (ist-Asserted SuggestionMT (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy)) (ist-Asserted SuggestionMT (suggestionSubgoals UniformAgeDistributionStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (minimumAge K-8SchoolStudent ?min) (maximumAge K-8SchoolStudent ?max) (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration ?life))))) (ist-Asserted SuggestionMT (isa UniformAgeDistributionStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep UniformAgeDistributionStrategy (evaluate ?numstudents (TimesFn (QuotientFn (DifferenceFn ?max ?min) ?life) ?population)))) (ist-Asserted SuggestionMT (suggestionGoalForm UniformAgeDistributionStrategy (cardinality K-8SchoolStudent ?numstudents))) (ist-Asserted SuggestionMT (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3))))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w)))) (ist-Asserted SuggestionMT (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy)) (ist-Asserted SuggestionMT (isa StudentsPerTeacherStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count))) (ist-Asserted SuggestionMT (suggestionGoalForm StudentsPerTeacherStrategy (cardinality K-8SchoolTeacher ?numteachers))) (ist-Asserted SuggestionMT (suggestionSubgoals StudentsPerTeacherStrategy (TheList (cardinality K-8SchoolStudent ?numstudents) (studentsPerTeacher K-8School ?perteacher)))) (ist-Asserted SuggestionMT (isa VolumeFormulaForSphere Suggestion)) (ist-Asserted SuggestionMT (isa FractionOfTotalStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))))) ((isa PerBuyerStrategy Suggestion) (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy) (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money)) (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number))) (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2))) (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number))) (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol)) (isa VolumeFormulaForRectangular3DShape Suggestion) (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape)) (isa VolumeStrategyForCount Suggestion) (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy) (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100))) (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number)) (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere)) (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol)) (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost) (isa UnitaryStrategyForCost Suggestion) (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w))) (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer)) (suggestionResultStep StudentsPerTeacherStrategy (evaluate ?numteachers (QuotientFn ?numstudents ?perteacher))) (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost))) (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius))) (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount) (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy) (suggestionSubgoals UniformAgeDistributionStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (minimumAge K-8SchoolStudent ?min) (maximumAge K-8SchoolStudent ?max) (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration ?life)))) (isa UniformAgeDistributionStrategy Suggestion) (suggestionResultStep UniformAgeDistributionStrategy (evaluate ?numstudents (TimesFn (QuotientFn (DifferenceFn ?max ?min) ?life) ?population))) (suggestionGoalForm UniformAgeDistributionStrategy (cardinality K-8SchoolStudent ?numstudents)) (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost))) (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3)))) (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w))) (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy) (isa StudentsPerTeacherStrategy Suggestion) (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count)) (suggestionGoalForm StudentsPerTeacherStrategy (cardinality K-8SchoolTeacher ?numteachers)) (suggestionSubgoals StudentsPerTeacherStrategy (TheList (cardinality K-8SchoolStudent ?numstudents) (studentsPerTeacher K-8School ?perteacher))) (isa VolumeFormulaForSphere Suggestion) (isa FractionOfTotalStrategy Suggestion) (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent))) (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))) (ist-Asserted SuggestionMT (isa PerBuyerStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy)) (ist-Asserted SuggestionMT (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money))) (ist-Asserted SuggestionMT (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number)))) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2)))) (ist-Asserted SuggestionMT (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number)))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (isa VolumeFormulaForRectangular3DShape Suggestion)) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape))) (ist-Asserted SuggestionMT (isa VolumeStrategyForCount Suggestion)) (ist-Asserted SuggestionMT (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy)) (ist-Asserted SuggestionMT (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100)))) (ist-Asserted SuggestionMT (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number))) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost)) (ist-Asserted SuggestionMT (isa UnitaryStrategyForCost Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w)))) (ist-Asserted SuggestionMT (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer))) (ist-Asserted SuggestionMT (suggestionResultStep StudentsPerTeacherStrategy (evaluate ?numteachers (QuotientFn ?numstudents ?perteacher)))) (ist-Asserted SuggestionMT (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost)))) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius)))) (ist-Asserted SuggestionMT (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount)) (ist-Asserted SuggestionMT (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy)) (ist-Asserted SuggestionMT (suggestionSubgoals UniformAgeDistributionStrategy (TheList (populationDuring UnitedStatesOfAmerica (YearFn 1997) ?population) (minimumAge K-8SchoolStudent ?min) (maximumAge K-8SchoolStudent ?max) (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration ?life))))) (ist-Asserted SuggestionMT (isa UniformAgeDistributionStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep UniformAgeDistributionStrategy (evaluate ?numstudents (TimesFn (QuotientFn (DifferenceFn ?max ?min) ?life) ?population)))) (ist-Asserted SuggestionMT (suggestionGoalForm UniformAgeDistributionStrategy (cardinality K-8SchoolStudent ?numstudents))) (ist-Asserted SuggestionMT (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3))))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w)))) (ist-Asserted SuggestionMT (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy)) (ist-Asserted SuggestionMT (isa StudentsPerTeacherStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count))) (ist-Asserted SuggestionMT (suggestionGoalForm StudentsPerTeacherStrategy (cardinality K-8SchoolTeacher ?numteachers))) (ist-Asserted SuggestionMT (suggestionSubgoals StudentsPerTeacherStrategy (TheList (cardinality K-8SchoolStudent ?numstudents) (studentsPerTeacher K-8School ?perteacher)))) (ist-Asserted SuggestionMT (isa VolumeFormulaForSphere Suggestion)) (ist-Asserted SuggestionMT (isa FractionOfTotalStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))))) ((isa PerBuyerStrategy Suggestion) (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy) (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money)) (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number))) (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2))) (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number))) (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol)) (isa VolumeFormulaForRectangular3DShape Suggestion) (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape)) (isa VolumeStrategyForCount Suggestion) (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy) (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100))) (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number)) (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere)) (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol)) (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost) (isa UnitaryStrategyForCost Suggestion) (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w))) (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer)) (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost))) (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius))) (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount) (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost))) (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3)))) (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w))) (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count)) (isa VolumeFormulaForSphere Suggestion) (isa FractionOfTotalStrategy Suggestion) (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent))) (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))) (ist-Asserted SuggestionMT (isa PerBuyerStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestFor (annualSales ?obj ?place ?time ?money) PerBuyerStrategy)) (ist-Asserted SuggestionMT (suggestionGoalForm PerBuyerStrategy (annualSales ?obj ?place ?time ?money))) (ist-Asserted SuggestionMT (suggestionSubgoals PerBuyerStrategy (TheList (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) (numberOfBuyers ?obj ?place ?time ?number)))) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2)))) (ist-Asserted SuggestionMT (suggestionResultStep PerBuyerStrategy (evaluate ?money (TimesFn ?money-per-buyer ?number)))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (isa VolumeFormulaForRectangular3DShape Suggestion)) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape))) (ist-Asserted SuggestionMT (isa VolumeStrategyForCount Suggestion)) (ist-Asserted SuggestionMT (suggestFor (numberOfBuyers ?obj ?place ?time ?number) FractionOfTotalStrategy)) (ist-Asserted SuggestionMT (suggestionResultStep FractionOfTotalStrategy (evaluate ?number (QuotientFn (TimesFn ?total ?percent) 100)))) (ist-Asserted SuggestionMT (suggestionGoalForm FractionOfTotalStrategy (numberOfBuyers ?obj ?place ?time ?number))) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (suggestFor (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer) UnitaryStrategyForCost)) (ist-Asserted SuggestionMT (isa UnitaryStrategyForCost Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w)))) (ist-Asserted SuggestionMT (suggestionGoalForm UnitaryStrategyForCost (annualExpensePerBuyer ?obj ?place ?time ?money-per-buyer))) (ist-Asserted SuggestionMT (suggestionSubgoals UnitaryStrategyForCost (TheList (annualUnitsBoughtPerBuyer ?obj ?place ?time ?units) (cost ?obj ?unit-cost)))) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius)))) (ist-Asserted SuggestionMT (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount)) (ist-Asserted SuggestionMT (suggestionResultStep UnitaryStrategyForCost (evaluate ?money-per-buyer (TimesFn ?units ?unit-cost)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3))))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w)))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count))) (ist-Asserted SuggestionMT (isa VolumeFormulaForSphere Suggestion)) (ist-Asserted SuggestionMT (isa FractionOfTotalStrategy Suggestion)) (ist-Asserted SuggestionMT (suggestionSubgoals FractionOfTotalStrategy (TheList (populationDuring ?place ?any-time ?total) (percentOfBuyers ?obj ?place ?percent)))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))))) ((suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2))) (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol)) (isa VolumeFormulaForRectangular3DShape Suggestion) (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape)) (isa VolumeStrategyForCount Suggestion) (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere)) (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol)) (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w))) (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius))) (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount) (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3)))) (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w))) (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count)) (isa VolumeFormulaForSphere Suggestion) (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2))) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeStrategyForCount (TheList (volumeOfObject ?container ?v1) (volumeOfObject ?contained ?v2)))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForSphere (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (isa VolumeFormulaForRectangular3DShape Suggestion)) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj Rectangular3DShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForRectangular3DShape))) (ist-Asserted SuggestionMT (isa VolumeStrategyForCount Suggestion)) (ist-Asserted SuggestionMT (implies (shapeOfObject ?obj SphereShape) (suggestFor (volumeOfObject ?obj ?vol) VolumeFormulaForSphere))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeFormulaForRectangular3DShape (volumeOfObject ?obj ?vol))) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForRectangular3DShape (TheList (heightOfObject ?obj ?h) (lengthOfObject ?obj ?l) (widthOfObject ?obj ?w)))) (ist-Asserted SuggestionMT (suggestionSubgoals VolumeFormulaForSphere (TheList (radius ?obj ?radius)))) (ist-Asserted SuggestionMT (suggestFor (CountContained ?container ?contained ?count) VolumeStrategyForCount)) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForSphere (evaluate ?vol (TimesFn 4.187 (ExponentFn ?radius 3))))) (ist-Asserted SuggestionMT (suggestionResultStep VolumeFormulaForRectangular3DShape (evaluate ?vol (TimesFn ?h ?l ?w)))) (ist-Asserted SuggestionMT (suggestionGoalForm VolumeStrategyForCount (CountContained ?container ?contained ?count))) (ist-Asserted SuggestionMT (isa VolumeFormulaForSphere Suggestion)) (ist-Asserted SuggestionMT (suggestionResultStep VolumeStrategyForCount (evaluate ?count (QuotientFn ?v1 ?v2)))))) cl-user(158): (pprint *wm-fact-dump*) (((sizeOf CohabitationUnit UnitedStatesOfAmerica 3) (inKB (populationDuring UnitedStatesOfAmerica (YearFn 1997) 267600000)) (inKB (suggestFor (annualAutomobileGasConsumption UnitedStatesOfAmerica (YearFn 1997) (Gallon-US ?annual-consumption)) MileageConsumptionStrategy)) (inKB (suggestFor (mileageDrivenPerYear Automobile UnitedStatesOfAmerica ?miles-per-year) PerDayStrategyForMileage)) (evaluate 89200000 (TimesFn 89200000 1)) (fuelConsumption Automobile (MilesPerGallon 20)) (inKB (suggestFor (unitsTotal Automobile UnitedStatesOfAmerica (YearFn 1997) ?total-units) HouseholdStrategyForCountingUnits)) (evaluate 32558000000 (QuotientFn (TimesFn 7300 89200000) 20)) (mileageDrivenPerDay Automobile UnitedStatesOfAmerica 20) (suggestFor (annualAutomobileGasConsumption UnitedStatesOfAmerica (YearFn 1997) (Gallon-US ?annual-consumption)) MileageConsumptionStrategy) (suggestFor (numberOfHouseholds UnitedStatesOfAmerica (YearFn 1997) ?num-households) HouseholdViaPopulationStrategy) (evaluate 7300 (TimesFn 20 365)) (suggestFor (unitsTotal Automobile UnitedStatesOfAmerica (YearFn 1997) ?total-units) HouseholdStrategyForCountingUnits) (inKB (suggestFor (numberOfHouseholds UnitedStatesOfAmerica (YearFn 1997) ?num-households) HouseholdViaPopulationStrategy)) (evaluate 89200000 (QuotientFn 267600000 3)) (suggestFor (mileageDrivenPerYear Automobile UnitedStatesOfAmerica ?miles-per-year) PerDayStrategyForMileage) (unitsPerHousehold Automobile 1) (populationDuring UnitedStatesOfAmerica (YearFn 1997) 267600000)) ((numberOfOccurancesIn BaseballSeason BaseballHomeGame 80) (evaluate 0 (TimesFn #:?DB-X25996 0)) (inKB (suggestFor (unitsSold HotDogSandwich WrigleyField BaseballHomeGame ?total-units-sold) PerBuyerStrategy)) (inKB (suggestFor (unitsSold HotDogSandwich WrigleyField BaseballSeason ?total-units-sold) PerBuyerStrategy)) (inKB (suggestFor (numberOfBuyers HotDogSandwich WrigleyField BaseballSeason ?number) FractionOfTotalStrategy)) (unitsBoughtPerBuyer HotDogSandwich WrigleyField BaseballHomeGame 1) (populationDuring WrigleyField BaseballHomeGame 40000) (suggestFor (unitsSold HotDogSandwich WrigleyField BaseballHomeGame ?total-units-sold) PerBuyerStrategy) (inKB (suggestFor (numberOfBuyers HotDogSandwich WrigleyField BaseballHomeGame ?number) FractionOfTotalStrategy)) (inKB (evaluate 0 (TimesFn #:?DB-X25996 0))) (suggestFor (unitsSold HotDogSandwich WrigleyField BaseballSeason ?total-units-sold) PerBuyerStrategy) (suggestFor (numberOfBuyers HotDogSandwich WrigleyField BaseballSeason ?number) FractionOfTotalStrategy) (subEvents BaseballSeason BaseballHomeGame) (suggestFor (numberOfBuyers HotDogSandwich WrigleyField BaseballHomeGame ?number) FractionOfTotalStrategy) (percentOfBuyers HotDogSandwich WrigleyField 50) (evaluate 20000 (QuotientFn (TimesFn 40000 50) 100))) ((sizeOf CohabitationUnit UnitedStatesOfAmerica 3) (inKB (populationDuring UnitedStatesOfAmerica (YearFn 1997) 267600000)) (evaluate 446000000 (TimesFn 89200000 5)) (inKB (suggestFor (annualProduction Garbage-Generic UnitedStatesOfAmerica (YearFn 1997) ?total-garbage-mass) HouseholdGarbageStrategy)) (amountProducedInEvent GarbageDisposalEvent Garbage-Generic (Pound-UnitOfMass 5)) (suggestFor (numberOfHouseholds UnitedStatesOfAmerica (YearFn 1997) ?num-households) HouseholdViaPopulationStrategy) (suggestFor (annualProduction Garbage-Generic UnitedStatesOfAmerica (YearFn 1997) ?total-garbage-mass) HouseholdGarbageStrategy) (inKB (suggestFor (numberOfHouseholds UnitedStatesOfAmerica (YearFn 1997) ?num-households) HouseholdViaPopulationStrategy)) (evaluate 89200000 (QuotientFn 267600000 3)) (populationDuring UnitedStatesOfAmerica (YearFn 1997) 267600000)) ((sizeOf CohabitationUnit UnitedStatesOfAmerica 3) (inKB (populationDuring UnitedStatesOfAmerica (YearFn 1997) 267600000)) (evaluate 89200000 (TimesFn 89200000 1)) (suggestFor (unitsBoughtPerYear Automobile UnitedStatesOfAmerica (YearFn 1997) ?units-per-year) AgeStrategyForUnitsBought) (age Automobile (YearsDuration 10)) (inKB (suggestFor (unitsTotal Automobile UnitedStatesOfAmerica (YearFn 1997) ?total-units) HouseholdStrategyForCountingUnits)) (evaluate 8920000 (QuotientFn 89200000 10)) (suggestFor (numberOfHouseholds UnitedStatesOfAmerica (YearFn 1997) ?num-households) HouseholdViaPopulationStrategy) (suggestFor (unitsTotal Automobile UnitedStatesOfAmerica (YearFn 1997) ?total-units) HouseholdStrategyForCountingUnits) (inKB (suggestFor (numberOfHouseholds UnitedStatesOfAmerica (YearFn 1997) ?num-households) HouseholdViaPopulationStrategy)) (evaluate 89200000 (QuotientFn 267600000 3)) (unitsPerHousehold Automobile 1) (populationDuring UnitedStatesOfAmerica (YearFn 1997) 267600000) (inKB (suggestFor (unitsBoughtPerYear Automobile UnitedStatesOfAmerica (YearFn 1997) ?units-per-year) AgeStrategyForUnitsBought))) ((inKB (suggestFor (annualExpensePerBuyer HealthCare UnitedStatesOfAmerica (YearFn 1997) ?money-per-buyer) UnitaryStrategyForCost)) (inKB (populationDuring UnitedStatesOfAmerica (YearFn 1997) 267600000)) (inKB (suggestFor (numberOfBuyers HealthCare UnitedStatesOfAmerica (YearFn 1997) ?number) FractionOfTotalStrategy)) (inKB (populationDuring UnitedStatesOfAmerica (MonthFn July (YearFn 1997)) 267954764)) (inKB (suggestFor (annualExpensePerBuyer HealthCare UnitedStatesOfAmerica (YearFn 1997) ?money-per-buyer) ExpenseOnHealthStrategy)) (suggestFor (annualExpensePerBuyer HealthCare UnitedStatesOfAmerica (YearFn 1997) ?money-per-buyer) ExpenseOnHealthStrategy) (evaluate 266476278 (QuotientFn (TimesFn 266476278 100) 100)) (healthInsurancePremiumForGroupInRegion UnitedStatesOfAmerica Person (DollarsPerYear 3000)) (inKB (populationDuring UnitedStatesOfAmerica (YearFn 1996) 266476278)) (suggestFor (annualSales HealthCare UnitedStatesOfAmerica (YearFn 1997) ?money) PerBuyerStrategy) (suggestFor (numberOfBuyers HealthCare UnitedStatesOfAmerica (YearFn 1997) ?number) FractionOfTotalStrategy) (evaluate 799428834000 (TimesFn 3000 266476278)) (populationDuring UnitedStatesOfAmerica (MonthFn July (YearFn 1996)) 266476278) (inKB (populationDuring UnitedStatesOfAmerica (MonthFn July (YearFn 1996)) 266476278)) (populationDuring UnitedStatesOfAmerica (YearFn 1997) 267600000) (percentOfBuyers HealthCare UnitedStatesOfAmerica 100) (populationDuring UnitedStatesOfAmerica (YearFn 1996) 266476278) (inKB (suggestFor (annualSales HealthCare UnitedStatesOfAmerica (YearFn 1997) ?money) PerBuyerStrategy)) (suggestFor (annualExpensePerBuyer HealthCare UnitedStatesOfAmerica (YearFn 1997) ?money-per-buyer) UnitaryStrategyForCost) (populationDuring UnitedStatesOfAmerica (MonthFn July (YearFn 1997)) 267954764)) ((maximumAge K-8SchoolStudent 14) (inKB (populationDuring UnitedStatesOfAmerica (YearFn 1997) 267600000)) (minimumAge K-8SchoolStudent 5) (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy) (evaluate 3.1693646e+7 (TimesFn (QuotientFn (DifferenceFn 14 5) 75.99) 267600000)) (inKB (suggestFor (cardinality K-8SchoolStudent ?numstudents) UniformAgeDistributionStrategy)) (studentsPerTeacher K-8School 30) (inKB (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy)) (suggestFor (cardinality K-8SchoolTeacher ?numteachers) StudentsPerTeacherStrategy) (inKB (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration 75.99))) (lifeExpectancyForGroupInRegion UnitedStatesOfAmerica Person (YearsDuration 75.99)) (populationDuring UnitedStatesOfAmerica (YearFn 1997) 267600000) (evaluate 1056454.9 (QuotientFn 3.1693646e+7 30))) ((inKB (suggestFor (annualSales NewspaperCopy UnitedStatesOfAmerica (YearFn 2003) ?money) PerBuyerStrategy)) (inKB (populationDuring UnitedStatesOfAmerica (YearFn 1997) 267600000)) (cost NewspaperCopy 0.75) (evaluate 2.1884363e+10 (TimesFn 273.75 399714417/5)) (inKB (suggestFor (annualExpensePerBuyer NewspaperCopy UnitedStatesOfAmerica (YearFn 2003) ?money-per-buyer) UnitaryStrategyForCost)) (inKB (populationDuring UnitedStatesOfAmerica (MonthFn July (YearFn 1997)) 267954764)) (evaluate 399714417/5 (QuotientFn (TimesFn 266476278 30) 100)) (suggestFor (annualSales NewspaperCopy UnitedStatesOfAmerica (YearFn 2003) ?money) PerBuyerStrategy) (inKB (populationDuring UnitedStatesOfAmerica (YearFn 1996) 266476278)) (suggestFor (numberOfBuyers NewspaperCopy UnitedStatesOfAmerica (YearFn 2003) ?number) FractionOfTotalStrategy) (populationDuring UnitedStatesOfAmerica (MonthFn July (YearFn 1996)) 266476278) (inKB (populationDuring UnitedStatesOfAmerica (MonthFn July (YearFn 1996)) 266476278)) (inKB (suggestFor (numberOfBuyers NewspaperCopy UnitedStatesOfAmerica (YearFn 2003) ?number) FractionOfTotalStrategy)) (annualUnitsBoughtPerBuyer NewspaperCopy UnitedStatesOfAmerica (YearFn 2003) 365) (percentOfBuyers NewspaperCopy UnitedStatesOfAmerica 30) (suggestFor (annualExpensePerBuyer NewspaperCopy UnitedStatesOfAmerica (YearFn 2003) ?money-per-buyer) UnitaryStrategyForCost) (populationDuring UnitedStatesOfAmerica (YearFn 1997) 267600000) (populationDuring UnitedStatesOfAmerica (YearFn 1996) 266476278) (populationDuring UnitedStatesOfAmerica (MonthFn July (YearFn 1997)) 267954764) (evaluate 273.75 (TimesFn 365 0.75))) ((radius Popcorn 0.02) (isa CS381ClassRoom ClassRoom) (lengthOfObject CS381ClassRoom 15) (suggestFor (CountContained CS381ClassRoom Popcorn ?count) VolumeStrategyForCount) (shapeOfObject CS381ClassRoom Rectangular3DShape) (evaluate 3.3496e-5 (TimesFn 4.187 (ExponentFn 0.02 3))) (widthOfObject CS381ClassRoom 10) (heightOfObject CS381ClassRoom 3) (evaluate 450 (TimesFn 3 15 10)) (evaluate 1.343444e+7 (QuotientFn 450 3.3496e-5)) (inKB (suggestFor (CountContained CS381ClassRoom Popcorn ?count) VolumeStrategyForCount)) (shapeOfObject Popcorn SphereShape))) cl-user(159): ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; End of Code