| UServ Product Derby Case Study | Business rules and sample data for pages 1-6 of the specification | POLICY PRICING BUSINESS RULES for auto policy some-PID the premium before market segment discounts is $ some-non-discounted-amount for auto policy that-PID a client type some-type reduction applies the market segment discount for a client of type that-type is $ some-reduction that-non-discounted-amount - that-reduction = a-discounted-amount for the autos on policy that-PID the base premiums add up to $ some-base-amount the greater of $ that-base-amount and $ that-discounted-amount is $ some-amount ---------------------------------------------------------------------------------- for auto policy that-PID the FINAL premium is that-amount for auto policy some-PID the premium before market segment discounts is $ some-start-amount not : there is a person on auto policy that-PID who is a Preferred or Elite client for the autos on policy that-PID the base premiums add up to $ some-base-amount the greater of $ that-base-amount and $ that-start-amount is $ some-amount ---------------------------------------------------------------------------------- for auto policy that-PID the FINAL premium is that-amount person some-CID some-name has Client Type Preferred in his or her description auto policy some-PID includes person that-CID ------------------------------------------------------------------------------- there is a person on auto policy that-PID whose client status is Preferred person some-CID some-name has Client Type Elite in his or her description auto policy some-PID includes person that-CID --------------------------------------------------------------------------- there is a person on auto policy that-PID whose client status is Elite there is a person on auto policy some-PID whose client status is Elite ---------------------------------------------------------------------- for auto policy that-PID a client type Elite reduction applies there is a person on auto policy some-PID whose client status is Preferred not : there is a person on auto policy that-PID whose client status is Elite ---------------------------------------------------------------------------- for auto policy that-PID a client type Preferred reduction applies the market segment discount for a client of type this-type is $ this-amount =========================================================================== Elite 500 Preferred 250 there is a person on auto policy some-PID whose client status is Preferred ------------------------------------------------------------------------------- there is a person on auto policy that-PID who is a Preferred or Elite client there is a person on auto policy some-PID whose client status is Elite ------------------------------------------------------------------------------- there is a person on auto policy that-PID who is a Preferred or Elite client for auto policy some-PID the initial premium for all vehicles is $ some-start-amount there is a person on policy that-PID who is subject to a premium increase for policy that-PID the person-based premium increases add up to $ some-increase-amount that-start-amount + that-increase-amount = some-amount ---------------------------------------------------------------------------------- for auto policy that-PID the premium before market segment discounts is $ that-amount for auto policy some-PID the initial premium for all vehicles is $ some-amount not : there is a person on policy that-PID who is subject to a premium increase ---------------------------------------------------------------------------------- for auto policy that-PID the premium before market segment discounts is $ that-amount auto policy some-PID is under consideration sum an-amount : person some-CID on policy that-PID is subject to a $ an-amount premium increase = a-total --------------------------------------------------------------------------------------------------------- for policy that-PID the person-based premium increases add up to $ that-total auto policy some-PID includes person some-CID person that-CID some-name is subject to a $ an-amount premium increase ------------------------------------------------------------------------------- person that-CID on policy that-PID is subject to a $ that-amount premium increase auto policy some-PID includes person some-CID person that-CID some-name is subject to a premium increase ------------------------------------------------------------------------- there is a person on policy that-PID who is subject to a premium increase auto policy some-PID is under consideration sum an-amount : auto policy that-PID includes auto some-AUTID with a premium $ an-amount = a-total -------------------------------------------------------------------------------------------------- for auto policy that-PID the initial premium for all vehicles is $ that-total auto policy some-PID includes auto some-AUTID for auto that-AUTID the final premium after discounts is $ some-amount -------------------------------------------------------------------------- auto policy that-PID includes auto that-AUTID with a premium $ that-amount auto policy some-PID includes auto some-AUTID auto that-AUTID has Type some-type in its description table for an auto of type that-type the base premium is $ some-amount ------------------------------------------------------------------------------- auto policy that-PID includes auto that-AUTID with a base premium $ that-amount auto policy some-PID includes auto some-AUTID --------------------------------------------- auto policy that-PID is under consideration auto policy some-PID is under consideration sum an-amount : auto policy some-PID includes auto some-AUTID with a base premium $ some-amount = a-total --------------------------------------------------------------------------------------------------------- for the autos on policy that-PID the base premiums add up to $ that-total some-base-amount is greater than or equal some-calculated-amount ------------------------------------------------------------------------------------ the greater of $ that-base-amount and $ that-calculated-amount is $ that-base-amount some-base-amount is less than some-calculated-amount ------------------------------------------------------------------------------------------ the greater of $ that-base-amount and $ that-calculated-amount is $ that-calculated-amount | PERSON PRICING BUSINESS RULES person some-CID some-name has a description file sum an-amount : person that-CID that-name is subject to a $ some-amount premium increase = a-total -------------------------------------------------------------------------------------------------- person that-CID that-name is subject to premium increases totalling $ that-total person some-CID some-name has a description file not : person that-CID that-name is subject to a premium increase --------------------------------------------------------------------------------- person that-CID that-name is subject to premium increases totalling $ 0 |For each driver on the policy: If young driver and married and located in CA, NY or VA, then increase premium by $700. If young driver and single and located in CA, NY or VA, then increase premium by $720. If young driver and married and not located in CA, NY or VA, then increase premium by $300. If young driver and single and not located in CA, NY or VA, then increase premium by $300. If senior driver and located in CA, NY or VA, then increase premium by $500. If senior driver and not located in CA, NY or VA, then increase premium by $200. Driver is a Typical Driver is all of the following are true: o Not a Young Driver o Not a Senior Driver If a Typical Driver, then increase premium by $0. If a High Risk Driver, then increase premium by $1,000. Raise the premium by $ 150 per accident person some-CID some-name is subject to a $ some-amount premium increase that-amount is greater than 0 ------------------------------------------------------------------------ person that-CID that-name is subject to a premium increase person some-CID some-name is classified in driver eligibility as Young Driver person that-CID that-name has Marital Status Married in his or her description person that-CID that-name resides in a state that is exceptional for driver premium purposes -------------------------------------------------------------------------------------------- person that-CID that-name is subject to a $ 700 premium increase person some-CID some-name is classified in driver eligibility as Young Driver person that-CID that-name has Marital Status Single in his or her description person that-CID that-name resides in a state that is exceptional for driver premium purposes -------------------------------------------------------------------------------------------- person that-CID that-name is subject to a $ 720 premium increase person some-CID some-name is classified in driver eligibility as Young Driver person that-CID that-name has Marital Status Married in his or her description not : person that-CID that-name resides in a state that is exceptional for driver premium purposes -------------------------------------------------------------------------------------------------- person that-CID that-name is subject to a $ 300 premium increase person some-CID some-name is classified in driver eligibility as Young Driver person that-CID that-name has Marital Status Single in his or her description not : person that-CID that-name resides in a state that is exceptional for driver premium purposes -------------------------------------------------------------------------------------------------- person that-CID that-name is subject to a $ 300 premium increase person some-CID some-name is classified in driver eligibility as Senior Driver person that-CID that-name resides in a state that is exceptional for driver premium purposes ------------------------------------------------------------------------------------- person that-CID that-name is subject to a $ 500 premium increase person some-CID some-name is classified in driver eligibility as Senior Driver not : person that-CID that-name resides in a state that is exceptional for driver premium purposes -------------------------------------------------------------------------------------------------- person that-CID that-name is subject to a $ 200 premium increase person some-CID some-name is classified as a Typical Driver not : person that-CID that-name is in the category High Risk Driver -------------------------------------------------------------------- person that-CID that-name is subject to a $ 0 premium increase person some-CID some-name is in the category High Risk Driver -------------------------------------------------------------------- person that-CID that-name is subject to a $ 1000 premium increase person some-CID some-name is in the category High Risk Driver person that-CID that-name has Number of Accidents some-number in his or her description that-number * 150 = some-amount ---------------------------------------------------------------------------------------- person that-CID that-name is subject to a $ that-amount premium increase person this-CID this-name is subject to a $ this-amount premium increase ======================================================================== some-state is exceptional for driver premium purposes person some-CID some-name has Residence State that-state in his or her description -------------------------------------------------------------------------------------------- person that-CID that-name resides in a state that is exceptional for driver premium purposes this-state is exceptional for driver premium purposes ===================================================== CA NY VA person some-CID some-name has a description on file not : person that-CID that-name is classified in driver eligibility as Senior Driver not : person that-CID that-name is classified in driver eligibility as Young Driver ------------------------------------------------------------------------------------- person that-CID that-name is classified as a Typical Driver | AUTO DISCOUNTS If the car only has Driver airbags then lower the premium by 12 %. If the car has Driver and Passenger airbags then lower the premium by 15 %. If the car has Driver, Passenger and Side airbags then lower the premium by 18 %. If the car's potential theft rating is high and the car is equipped with an alarm system, then lower the premium by 10%. Percentages are accumulated. Add up all the percentages that apply to the car and apply as a total discount. for auto some-AUTID the premium before discounts is $ some-initial-premium sum an-amount : for auto that-AUTID there is an insurance discount of some-amount % = a-total that-initial-premium lowered by that-total % is some-premium -------------------------------------------------------------------------------------------- for auto that-AUTID the final premium after discounts is $ that-premium for auto some-AUTID the premium before discounts is $ some-premium not : for auto that-AUTID a discount applies to the premium -------------------------------------------------------------------- for auto that-AUTID the final premium after discounts is $ that-premium the airbag description of auto some-AUTID has a Yes on Driver airbag the airbag description of auto that-AUTID lists 1 type(s) of airbags ----------------------------------------------------------------------- for auto that-AUTID there is an insurance discount of 12 % the airbag description of auto some-AUTID has a Yes on Driver airbag the airbag description of auto that-AUTID has a Yes on Front Passenger airbag the airbag description of auto that-AUTID lists 2 type(s) of airbags ----------------------------------------------------------------------- for auto that-AUTID there is an insurance discount of 15 % the airbag description of auto some-AUTID has a Yes on Driver airbag the airbag description of auto that-AUTID has a Yes on Front Passenger airbag the airbag description of auto that-AUTID has a Yes on Side Panel airbags the airbag description of auto that-AUTID lists 3 type(s) of airbags ----------------------------------------------------------------------- for auto that-AUTID there is an insurance discount of 18 % auto some-AUTID has Theft Probability High in its description auto that-AUTID has Alarm System Yes in its description table -------------------------------------------------------------- for auto that-AUTID there is an insurance discount of 10 % for auto this-AUTID there is an insurance discount of this % ========================================================== auto some-AUTID has Theft Probability High in its description auto that-AUTID has Alarm System Yes in its description table -------------------------------------------------------------- for auto that-AUTID a discount applies to the premium auto some-AUTID has some-number airbag(s) that-number is greater than or equal 1 ---------------------------------------------------- for auto that-AUTID a discount applies to the premium auto some-AUTID has a description file not : auto that-AUTID has at least one airbag --------------------------------------------- auto that-AUTID has 0 airbag(s) auto some-AUTID has a description file count an-attr : the airbag description of auto that-AUTID has a Yes on that-attr = a-number ----------------------------------------------------------------------------------------- auto that-AUTID has that-number airbag(s) the airbag description of auto some-AUTID has a Yes on some-attr -------------------------------------------------------------- auto that-AUTID has at least one airbag some-number * some-p = some-product that-product / 100 = some-quotient that-number - that-quotient = some-amount ---------------------------------------------- that-number lowered by that-p % is that-amount | AUTO PREMIUMS For each car on the policy: If compact car, then base premium is $250. If sedan, then base premium is $400. (''Midsize'' would allow for Convertible in this category) If luxury car, then base premium is $500. If car is new, then increase premium by $400. If the model year is the same as the current year, then new car. If the model year is the same as next year, then the car is new. If car is less than 5 years old, then increase premium by $300. If car is between 5 and 10 years old, then increase premium by $250. If uninsured motorist coverage is included, then increase premium by $300 If medical coverage is included, then increase premium by $600. If Potential Occupant Injury is Extremely High, then increase premium by $1,000. If Potential Occupant Injury is High, then increase premium by $500. If Potential Theft is High, then increase premium by $500. for the purpose of this study, today's date is some-yrmoda some-year followed by some-moda = that-yrmoda that-year consists of 4 symbols letters and digits ------------------------------------------------------------ for the purpose of this study, the current year is that-year for the purpose of this study, today's date is this-date ======================================================== 20060101 auto some-AUTID is some-age years old that-age is less than 5 --------------------------------------------------------------- for auto that-AUTID the base premium is to be increased by $ 300 auto some-AUTID is some-age years old that-age is greater than or equal 5 that-age is less than or equal 10 ---------------------------------------------------------------- for auto that-AUTID the base premium is to be increased by $ 250 auto some-AUTID has Uninsured Motorist Coverage Yes in its description table ---------------------------------------------------------------------------- for auto that-AUTID the base premium is to be increased by $ 300 auto some-AUTID has Medical Coverage Yes in its description table ----------------------------------------------------------------- for auto that-AUTID the base premium is to be increased by $ 600 the potential occupant injury rating of auto some-AUTID is Extremely High ----------------------------------------------------------------- for auto that-AUTID the base premium is to be increased by $ 1000 the potential occupant injury rating of auto some-AUTID is High ----------------------------------------------------------------- for auto that-AUTID the base premium is to be increased by $ 500 auto some-AUTID has Theft Probability High in its description ----------------------------------------------------------------- for auto that-AUTID the base premium is to be increased by $ 500 auto some-AUTID has Type some-type in its description table for an auto of type that-type the base premium is $ some-base-amount sum an-extra : for auto that-AUTID the base premium is to be increased by $ an-extra = some-total-extra that-base-amount + that-total-extra = some-premium --------------------------------------------------------------------------------------------------- for auto that-AUTID the premium before discounts is $ that-premium for an auto of type this-type the base premium is $ this-amount ==================================================================== Compact Car 250 Sedan 400 Luxury Car 500 for the purpose of this study, the current year is some-year auto some-AUTID has Model Year some-previous-year in its description table that-previous-year is less than that-year that-year - that-previous-year = some-age ------------------------------------------------------------------------ auto that-AUTID is that-age years old for the purpose of this study, the current year is some-year auto some-AUTID has Model Year that-year in its description table ----------------------------------------------------------------- auto that-AUTID qualifies as a new car for the purpose of this study, the current year is some-year auto some-AUTID has Model Year some-year1 in its description table that-year + 1 = that-year1 ----------------------------------------------------------------- auto that-AUTID qualifies as a new car | CLIENT ELIGIBILITY SCORING If eligibility score is less that 100, then client is eligible for insurance If eligibility score is between 100 and 250 inclusive, then the client's application/policy renewal must be reviewed by underwriting manager who will determine whether the client is eligible for auto insurance. If eligibility score is greater than 250, the client is not eligible for auto insurance. If a long term client, the client is always eligible for auto insurance, as is every person and car directly covered by a long term client's auto policy. A long term client has maintained a UServ portfolio for 15 years. person some-CID some-name has a total personal rating some-score that-score is less than 100 ---------------------------------------------------------------- person that-CID that-name is Eligible for insurance person some-CID some-name has a total personal rating some-score that-score is greater than or equal 100 that-score is less than or equal 250 ---------------------------------------------------------------- person that-CID that-name is Possibly Eligible for insurance person some-CID some-name has a total personal rating some-score that-score is greater than 250 ---------------------------------------------------------------- person that-CID that-name is Not Eligible for insurance person some-CID some-name has Long Term Client Yes in his or her description ------------------------------------------------------------------------------- person that-CID that-name is Eligible for insurance person this-CID that-name is this-eligible-type for insurance ============================================================== person some-CID some-name has a description on file not : person that-CID that-name has Long Term Client Yes in his or her description sum an-amount : person that-CID that-name has a score component some-amount = a-score ------------------------------------------------------------------------------------- person that-CID that-name has a total personal rating that-score person some-CID some-name is classified in driver eligibility as Young Driver person that-CID that-name is in the category Not Eligible Driver ------------------------------------------------------------------------------ person that-CID that-name has a score component 30 person some-CID some-name is classified in driver eligibility as Senior Driver person that-CID that-name is in the category Not Eligible Driver ------------------------------------------------------------------------------- person that-CID that-name has a score component 20 person some-CID some-name is in the category Eligible Driver ------------------------------------------------------------- person that-CID that-name has a score component 0 person some-CID some-name is in the category High Risk Driver -------------------------------------------------------------- person that-CID that-name has a score component 100 person some-CID some-name has Client Type some-type in his or her description a person in the client segment that-type has a score component some-amount --------------------------------------------------------------------------- person that-CID that-name has a score component that-amount person this-CID this-name has a score component some-amount =========================================================== a person in the client segment this-type has a score component this-amount ========================================================================== Preferred -50 Elite -100 the eligibility of auto some-AUTID is some-type for auto eligibility that-type there is a score component some-amount ---------------------------------------------------------------------- auto that-AUTID has a score component that-amount for auto eligibility this-type there is a score component this-amount ====================================================================== Not Eligible 100 Provisional 50 Eligible 0 | DRIVER ELIGIBILITY If the driver is male and is under the age of 25, then young driver. If the driver is female and is under the age of 20, then young driver. If young driver and driver has training certification, then eligible driver. If the driver is over the age of 70, then senior driver. If senior driver and driver has training certification, then eligible driver. If the following are not true, then eligible driver o Young driver o Senior driver If driver has taken driver's training from school then driver has training certification. If driver has taken driver's training from a licensed driver training company, then driver has training certification. If driver had taken a senior citizen driver's refresher course, then driver has training certification. |If the driver has been convicted of a DUI, then the driver qualifies as a High Risk Driver If the number of accidents the applicant has been involved in is greater than 2, then the driver qualifies as a High Risk Driver. If the driver has had more that 3 moving violations in the last two years, then the driver qualifies as a High Risk Driver. person some-CID some-name is in the initial category Eligible Driver not : person that-CID that-name is in the initial category High Risk Driver --------------------------------------------------------------------------- person that-CID that-name is in the category Eligible Driver person some-CID some-name is in the initial category High Risk Driver ---------------------------------------------------------------------- person that-CID that-name is in the category High Risk Driver person some-CID some-name has a description on file not : person that-CID that-name is in the initial category Eligible Driver not : person that-CID that-name is in the initial category High Risk Driver --------------------------------------------------------------------------- person that-CID that-name is in the category Not Eligible Driver person some-CID some-name has DUI Conviction Yes in his or her description ------------------------------------------------------------------------------------ person that-CID that-name is in the initial category High Risk Driver person some-CID some-name has Number of Accidents some-value in his or her description that-value is greater than 2 ------------------------------------------------------------------------------------ person that-CID that-name is in the initial category High Risk Driver person some-CID some-name has a description on file count some-date : person that-CID that-name has Moving Violation some-date in his or her description = a-number that-number is greater than 3 ----------------------------------------------------------------------------------------------------------------- person that-CID that-name is in the initial category High Risk Driver person some-CID some-name has a description on file person that-CID that-name is classified in driver eligibility as Young Driver person that-CID that-name is classified in driver eligibility as Has Training Certification ------------------------------------------------------------------------------------ person that-CID that-name is in the initial category Eligible Driver person some-CID some-name has a description on file person that-CID that-name is classified in driver eligibility as Senior Driver person that-CID that-name is classified in driver eligibility as Has Training Certification ------------------------------------------------------------------------------------ person that-CID that-name is in the initial category Eligible Driver person some-CID some-name has a description on file not : person that-CID that-name is classified in driver eligibility as Young Driver not : person that-CID that-name is classified in driver eligibility as Senior Driver ------------------------------------------------------------------------------------ person that-CID that-name is in the initial category Eligible Driver person this-CID this-name is in the initial category this-type ============================================================== person some-CID some-name has Sex Male in his or her description person that-CID that-name has Age some-value in his or her description that-value is less than 25 ------------------------------------------------------------------------------ person that-CID that-name is classified in driver eligibility as Young Driver person some-CID some-name has Sex Female in his or her description person that-CID that-name has Age some-value in his or her description that-value is less than 20 ------------------------------------------------------------------------------ person that-CID that-name is classified in driver eligibility as Young Driver person some-CID some-name has Age some-value in his or her description that-value is greater than 70 ------------------------------------------------------------------------------ person that-CID that-name is classified in driver eligibility as Senior Driver person some-CID some-name is classified in driver eligibility as Senior Driver person that-CID that-name has Senior Citizen Driver's Refresher Course Yes in his or her description ------------------------------------------------------------------------------------------------ person that-CID that-name is classified in driver eligibility as Has Training Certification person some-CID some-name is classified in driver eligibility as Young Driver person that-CID that-name has Driver's Training from School Yes in his or her description ------------------------------------------------------------------------------------------------ person that-CID that-name is classified in driver eligibility as Has Training Certification person some-CID some-name has Course from a Licensed Driver Training Company Yes in his or her description ------------------------------------------------------------------------------------------------------ person that-CID that-name is classified in driver eligibility as Has Training Certification person some-CID some-name has some-attr some-value in his or her description ---------------------------------------------------------------------------- person that-CID that-name has a description on file person this-CID this-name is in the category this-class =============================================================== | AUTO ELIGIBILITY If the Potential Occupant Injury Rating is extremely high, then the auto eligibility is ''not eligible''. Done If the Potential Occupant Injury Rating is high, then the auto eligibility is ''provisional''. Done If the Potential Theft Rating is high, then the auto eligibility is ''provisional''. Done If none of the following is true, then the auto eligibility is ''eligible'' o Auto eligibility is ''not eligible'' o Auto eligibility is ''provisional'' auto some-AUTID has a description file not : the initial eligibility of auto that-AUTID is Not Eligible not : the initial eligibility of auto that-AUTID is Provisional ------------------------------------------------------- the eligibility of auto that-AUTID is Eligible the initial eligibility of auto some-AUTID is Not Eligible ------------------------------------------------------- the eligibility of auto that-AUTID is Not Eligible the initial eligibility of auto some-AUTID is Provisional not : the initial eligibility of auto that-AUTID is Not Eligible --------------------------------------------------------------- the eligibility of auto that-AUTID is Provisional the eligibility of auto this-AUTID is this-type ============================================= the potential occupant injury rating of auto some-AUTID is Extremely High ------------------------------------------------------------------------ the initial eligibility of auto that-AUTID is Not Eligible the potential occupant injury rating of auto some-AUTID is High ------------------------------------------------------------- the initial eligibility of auto that-AUTID is Provisional auto some-AUTID has Theft Probability High in its description ------------------------------------------------------------- the initial eligibility of auto that-AUTID is Provisional the initial eligibility of auto this-AUTID is this-type ===================================================== |Potential Theft Category If the car is a convertible, then the car's potential theft rating is high. If the car's price is greater than $45,000, then the car's potential theft rating is high. If the car model is on the list of ''High Theft Probability Auto'', then the car's potential theft rating is high. If all of the following are true, then the car's potential theft rating is moderate. o car's price is between $20,000 and $45,000, o car model is not on the list of ''High Theft Probability Auto'' If all of the following are true, then the car's potential theft rating is low: o car's price is less that $20,000 o car model is not on the list of ''High Theft Probability Auto'' the price of auto some-AUTID is some-amount that-amount is greater than 45000 ------------------------------------------------------------- auto that-AUTID has Theft Probability High in its description auto some-AUTID has Convertible Yes in its description table ------------------------------------------------------------- auto that-AUTID has Theft Probability High in its description auto some-AUTID has Theft Probability High in its description table ------------------------------------------------------------------ auto that-AUTID has Theft Probability High in its description the price of auto some-AUTID is some-amount that-amount is between 20000 and 45000 not : auto that-AUTID has Theft Probability High in its description table not : auto that-AUTID has Convertible Yes in its description table not : auto that-AUTID has Theft probability High because it is a high theft model ------------------------------------------------------------------------ auto that-AUTID has Theft Probability Moderate in its description the price of auto some-AUTID is some-amount that-amount is less than 15000 not : auto that-AUTID has Theft Probability High in its description table not : auto that-AUTID has Convertible Yes in its description table not : auto that-AUTID has Theft probability High because it is a high theft model ------------------------------------------------------------------------ auto that-AUTID has Theft Probability Low in its description auto some-AUTID has Theft probability High because it is a high theft model ------------------------------------------------------------------ auto that-AUTID has Theft Probability High in its description auto some-AUTID has Model some-model in its description table auto that-model is on the High Theft Probability Auto list --------------------------------------------------------------------------- auto that-AUTID has Theft probability High because it is a high theft model auto this-AUTID has this-attr this-value in its description ========================================================= |Potential Occupant Injury Category If the car has no airbags, then the car's potential occupant injury rating is extremely high. Done If the car only has driver's air bag, then the car's potential occupant injury rating is high. Done If the car has driver's and front passenger air bags, then the car's potential occupant injury rating is moderate. Done If the car has driver's front passenger and side panel air bags, then the car's potential occupant injury is low. Done If the car is a convertible and has no roll bar, then the potential occupant injury is extremely high. Done auto some-AUTID has some-attr Yes in its description table that-attr is similar to *airbag* -------------------------------------------------------- the description of auto that-AUTID lists at least one airbag auto some-AUTID has some-attr some-value in its description table not : the description of auto that-AUTID lists at least one airbag ----------------------------------------------------------------------- the potential occupant injury rating of auto that-AUTID is Extremely High auto some-AUTID has Convertible Yes in its description table not : auto that-AUTID has Roll bar Yes in its description table ----------------------------------------------------------------------- the potential occupant injury rating of auto that-AUTID is Extremely High the airbag description of auto some-AUTID has a Yes on Driver airbag the airbag description of auto that-AUTID lists 1 type(s) of airbags ----------------------------------------------------------------------- the potential occupant injury rating of auto that-AUTID is High the airbag description of auto some-AUTID has a Yes on Driver airbag the airbag description of auto that-AUTID has a Yes on Front Passenger airbag the airbag description of auto that-AUTID lists 2 type(s) of airbags ----------------------------------------------------------------------- the potential occupant injury rating of auto that-AUTID is Moderate the airbag description of auto some-AUTID has a Yes on Driver airbag the airbag description of auto that-AUTID has a Yes on Front Passenger airbag the airbag description of auto that-AUTID has a Yes on Side Panel airbags ----------------------------------------------------------------------- the potential occupant injury rating of auto that-AUTID is Low the potential occupant injury rating of auto this-AUTID is this-type ================================================================== auto some-AUTID has some-attr Yes in its description table that-attr is similar to *airbag* ------------------------------------------------------------- the airbag description of auto that-AUTID has a Yes on that-attr auto some-AUTID has some-attr some-value in its description table --------------------------------------------------------------- auto that-AUTID has a description file auto some-AUTID has a description file count an-attr : the airbag description of auto that-AUTID has a Yes on that-attr = a-number ---------------------------------------------------------------------------------------- the airbag description of auto that-AUTID lists that-number type(s) of airbags some-amount is greater than some-low that-amount is less than some-high --------------------------------------------- that-amount is between that-low and that-high auto some-AUTID has Price some-amount in its description table ----------------------------------------------------------- the price of auto that-AUTID is that-amount auto policy some-PID includes person some-CID auto policy that-PID includes auto some-AUTID not : person that-CID is excluded as a driver of auto that-AUTID person that-CID some-name has some-attr some-value in his or her description auto that-AUTID has Model Year some-year in its description table auto that-AUTID has Model some-type in its description table ----------------------------------------------------------------------------------------------------- policy that-PID includes person that-CID that-name as a driver of auto that-AUTID that-year that-type auto policy this-PID includes auto this-AUTID ============================================= PID1 AUT1 PID1 AUT2 PID2 AUT3 PID2 AUT4 auto policy this-PID includes person this-CID ============================================= PID1 CID1 PID1 CID2 PID2 CID3 PID2 CID4 person this-CID is excluded as a driver of auto this-AUTID ======================================================== CID2 AUT1 auto this-AUTID has this-attr this-value in its description table ================================================================= AUT1 Model Year 2005 AUT1 Model Honda Odyssey AUT1 Driver airbag Yes AUT1 Front Passenger airbag Yes AUT1 Side Panel airbags Yes AUT1 Price 39000 AUT1 Type Luxury Car AUT1 Uninsured Motorist Coverage Yes AUT1 Medical Coverage Yes AUT2 Model Year 2002 AUT2 Model Toyota Camry AUT2 Driver airbag Yes AUT2 Front Passenger airbag Yes AUT2 Price 12000 AUT2 Type Compact Car AUT2 Uninsured Motorist Coverage Yes AUT2 Medical Coverage Yes AUT3 Model Year 2005 AUT3 Model Honda Odyssey AUT3 Driver airbag Yes AUT3 Front Passenger airbag Yes AUT3 Side Panel airbags Yes AUT3 Alarm System Yes AUT3 Price 39000 AUT3 Type Luxury Car AUT3 Uninsured Motorist Coverage Yes AUT3 Medical Coverage Yes AUT4 Model Toyota Camry AUT4 Driver airbag Yes AUT4 Front Passenger airbag Yes AUT4 Type Compact Car AUT4 Price 12000 AUT4 Uninsured Motorist Coverage Yes AUT4 Medical Coverage Yes AUT5 Model Jaguar XJ AUT5 Driver airbag Yes AUT5 Front Passenger airbag Yes auto this-model is on the High Theft Probability Auto list ========================================================== Jaguar XJ person some-CID some-name has some-attr some-value in his or her description ---------------------------------------------------------------------------- person that-CID that-name has a description file person this-CID this-name has this-attr this-value in his or her description ========================================================================================== CID1 Sara Klaus Client Type Preferred CID1 Sara Klaus Sex Female CID1 Sara Klaus Marital Status Single CID1 Sara Klaus Residence State AZ CID1 Sara Klaus Age 38 CID1 Sara Klaus Moving Violation 20050201 CID1 Sara Klaus Course from a Licensed Driver Training Company Yes CID2 Spenser Klaus Sex Male CID2 Spenser Klaus Age 17 CID2 Spenser Klaus Residence State AZ CID2 Spenser Klaus Marital Status Single CID2 Spenser Klaus Driver's Training from School Yes CID2 Spenser Klaus Good Student Certificate Yes CID3 Mark Houston Sex Male CID3 Mark Houston Age 38 CID3 Mark Houston Marital Status Single CID3 Mark Houston Residence State AZ CID3 Mark Houston Moving Violation 20050201 CID4 Angie Houston Sex Female CID4 Angie Houston Age 17 CID4 Angie Houston Residence State AZ CID4 Angie Houston Marital Status Single CID4 Angie Houston Driver's Training from School Yes CID4 Angie Houston Good Student Certificate Yes