(define-fuzzy-logic zadeh)
(define-fuzzy-concept geq22000 right-shoulder(22000.0, 100000.0, 22000.0, 22000.0) )
(define-fuzzy-concept leq26000 left-shoulder(0.0, 26000.0, 26000.0, 26000.0) )
(define-fuzzy-concept ls22000_24000 left-shoulder(0.0, 100000.0, 22000.0, 24000.0) )
(define-fuzzy-concept rs15000_175000 right-shoulder(0.0, 300000.0, 15000.0, 175000.0) )
(define-fuzzy-concept qOWA right-shoulder(0.0, 1.0, 0.4, 0.8) )
(define-fuzzy-concept SellerMWarr left-shoulder(0.0, 96.0, 60.0, 72.0) )
(define-fuzzy-concept rs225000_22750 right-shoulder(0.0, 100000.0, 22500.0, 22750.0) )
(define-fuzzy-concept ls22300_22750 left-shoulder(0.0, 100000.0, 22300.0, 22750.0) )
(define-fuzzy-concept SellerKmWarr left-shoulder(0.0, 300000.0, 100000.0, 125000.0) )
(define-concept BuyerPreferences (w-sum (0.1 B1) (0.2 B2) (0.1 B3) (0.2 B4) (0.4 B5) ) )
(define-concept BuyerPrefsQOWA (q-owa qOWA B1 B3 B4 B5 B2) )
(define-concept BuyerPrefsOWA (owa (0.3 0.4 0.2 0.5 0.6) (B1 B2 B3 B5 B4) ) )
(define-concept SellerPreferences (w-sum (0.3 S1) (0.1 S2) (0.3 S3) (0.1 S4) (0.2 S5) ) )
(define-primitive-concept Buick CarMaker)
(define-primitive-concept BMW CarMaker)
(define-primitive-concept Truck Vehicle)
(define-primitive-concept NavigatorPack *top*)
(define-primitive-concept PassengerCar Car)
(define-primitive-concept Nissan CarMaker)
(define-primitive-concept Mitsubishi CarMaker)
(define-primitive-concept MidLuxuryCar LuxuryCar)
(define-primitive-concept ExColorGray Color)
(define-primitive-concept LuxurySUV SUV)
(define-primitive-concept CaompactSUV SUV)
(define-primitive-concept SedanCar PassengerCar)
(define-primitive-concept Jeep CarMaker)
(define-primitive-concept Saturn CarMaker)
(define-primitive-concept Ford CarMaker)
(define-primitive-concept AstonMartin CarMaker)
(define-primitive-concept Kia CarMaker)
(define-primitive-concept Volvo CarMaker)
(define-primitive-concept Volkswagen CarMaker)
(define-primitive-concept Acura CarMaker)
(define-primitive-concept Chevrolet CarMaker)
(define-primitive-concept Lexus CarMaker)
(define-primitive-concept SatelliteAlarm AlarmSystem)
(define-primitive-concept Mercury CarMaker)
(define-primitive-concept Mazda CarMaker)
(define-primitive-concept Mercedes-Benz CarMaker)
(define-primitive-concept CompactCar PassengerCar)
(define-primitive-concept Infiniti CarMaker)
(define-primitive-concept UltraLuxuryCar LuxuryCar)
(define-primitive-concept Porsche CarMaker)
(define-primitive-concept LandRover CarMaker)
(define-primitive-concept Chrysler CarMaker)
(define-primitive-concept FullSizeVan Van)
(define-primitive-concept GMC CarMaker)
(define-primitive-concept SportCar PassengerCar)
(define-primitive-concept FireInsurance Insurance)
(define-primitive-concept Lamborghini CarMaker)
(define-primitive-concept PerformanceandHandlingDetail CarDetail)
(define-primitive-concept Maybach CarMaker)
(define-primitive-concept InsurancePlus *top*)
(define-primitive-concept Saab CarMaker)
(define-primitive-concept Subaru CarMaker)
(define-primitive-concept Bentley CarMaker)
(define-primitive-concept Morgan CarMaker)
(define-primitive-concept Objective *top*)
(define-primitive-concept Dodge CarMaker)
(define-primitive-concept Honda CarMaker)
(define-primitive-concept MidSizeSUV SUV)
(define-primitive-concept Cadillac CarMaker)
(define-primitive-concept Toyota CarMaker)
(define-primitive-concept CompactTruck Truck)
(define-primitive-concept NearLuxuryCar LuxuryCar)
(define-primitive-concept Minivan Van)
(define-primitive-concept MidSizeCar PassengerCar)
(define-primitive-concept Lincoln CarMaker)
(define-primitive-concept FullSizeSUV SUV)
(define-primitive-concept Scion CarMaker)
(define-primitive-concept Spyker CarMaker)
(define-primitive-concept SUV Vehicle)
(define-primitive-concept ComfortandConvenienceDetail CarDetail)
(define-primitive-concept CargoCapacityDetail CarDetail)
(define-primitive-concept SafetyFeaturesDetail CarDetail)
(define-primitive-concept MINI CarMaker)
(define-primitive-concept Ferrari CarMaker)
(define-primitive-concept Van Vehicle)
(define-primitive-concept Lotus CarMaker)
(define-primitive-concept DriverInsurance Insurance)
(define-primitive-concept LuxuryCar Car)
(define-primitive-concept PassengerSpaceDetail CarDetail)
(define-primitive-concept Panoz CarMaker)
(define-primitive-concept Maserati CarMaker)
(define-primitive-concept Bugatti CarMaker)
(define-primitive-concept S2 *top*)
(define-primitive-concept FullSizeTruck Truck)
(define-primitive-concept AlarmSystem *top*)
(define-primitive-concept Isuzu CarMaker)
(define-primitive-concept Hummer CarMaker)
(define-primitive-concept Car Vehicle)
(define-primitive-concept TheftInsurance Insurance)
(define-primitive-concept Rolls-Royce CarMaker)
(define-primitive-concept Pontiac CarMaker)
(define-primitive-concept Hyndai CarMaker)
(define-primitive-concept Jaguar CarMaker)
(define-primitive-concept Suzuki CarMaker)
(define-primitive-concept ExColorBlack Color)
(define-concept B2 (and (or (some hasInsurance FireInsurance ) (some hasInsurance TheftInsurance ) ) (some hasInsurance DriverInsurance ) ) )
(define-concept Sigma (and SedanCar (some hasPrice geq22000) ) )
(define-concept Beta (and PassengerCar (some hasPrice leq26000) ) )
(define-concept S1 (or (not (some hasNavigator NavigatorPack ) ) (some hasPrice rs225000_22750) ) )
(define-concept InsurancePlus (and DriverInsurance TheftInsurance ) )
(define-concept B4 (some hasPrice ls22000_24000) )
(define-concept B1 (or (not (some hasAlarmSystem AlarmSystem ) ) (some hasPrice ls22300_22750) ) )
(define-concept NavigatorPack (and GPS_system SatelliteAlarm ) )
(define-concept S4 (some hasMWarranty SellerMWarr) )
(define-concept B5 (some hasKMWarranty rs15000_175000) )
(define-concept Buy (and Beta BuyerPreferences ) )
(define-concept Objective (and Buy Sell ) )
(define-concept S3 (some hasKMWarranty SellerKmWarr) )
(define-concept B3 (and (some hasAirConditioning AirConditioning ) (some hasExColor (or ExColorBlack ExColorGray ) ) ) )
(define-concept S2 (some hasInsurance InsurancePlus ) )
(define-concept S5 (or (not (some hasExColor ExColorBlack ) ) (some hasAirConditioning AirConditioning ) ) )
(define-concept Sell (and SellerPreferences Sigma ) )
(define-primitive-concept Truck *top* )
(define-primitive-concept Nissan *top* )
(define-primitive-concept ExColorBlack *top* )
(define-primitive-concept Hyndai *top* )
(define-primitive-concept Sell *top* )
(define-primitive-concept Kia *top* )
(define-primitive-concept Buy *top* )
(define-primitive-concept Vehicle *top* )
(define-primitive-concept SportCar *top* )
(define-primitive-concept Lamborghini *top* )
(define-primitive-concept MidSizeSUV *top* )
(define-primitive-concept LandRover *top* )
(define-primitive-concept Volvo *top* )
(define-primitive-concept PassengerSpaceDetail *top* )
(define-primitive-concept Scion *top* )
(define-primitive-concept Jaguar *top* )
(define-primitive-concept Bugatti *top* )
(define-primitive-concept Mitsubishi *top* )
(define-primitive-concept InsurancePlus *top* )
(define-primitive-concept Insurance *top* )
(define-primitive-concept Honda *top* )
(define-primitive-concept Cadillac *top* )
(define-primitive-concept Bentley *top* )
(define-primitive-concept Lotus *top* )
(define-primitive-concept FullSizeSUV *top* )
(define-primitive-concept Car *top* )
(define-primitive-concept Sigma *top* )
(define-primitive-concept Chrysler *top* )
(define-primitive-concept UltraLuxuryCar *top* )
(define-primitive-concept Chevrolet *top* )
(define-primitive-concept CarDetail *top* )
(define-primitive-concept GMC *top* )
(define-primitive-concept ExColorGray *top* )
(define-primitive-concept MidLuxuryCar *top* )
(define-primitive-concept NearLuxuryCar *top* )
(define-primitive-concept Panoz *top* )
(define-primitive-concept Saab *top* )
(define-primitive-concept CargoCapacityDetail *top* )
(define-primitive-concept CompactCar *top* )
(define-primitive-concept AlarmSystem *top* )
(define-primitive-concept FireInsurance *top* )
(define-primitive-concept Infiniti *top* )
(define-primitive-concept Mercedes-Benz *top* )
(define-primitive-concept Hummer *top* )
(define-primitive-concept Mazda *top* )
(define-primitive-concept SUV *top* )
(define-primitive-concept Mercury *top* )
(define-primitive-concept Van *top* )
(define-primitive-concept Toyota *top* )
(define-primitive-concept Maserati *top* )
(define-primitive-concept Buick *top* )
(define-primitive-concept PerformanceandHandlingDetail *top* )
(define-primitive-concept Suzuki *top* )
(define-primitive-concept AstonMartin *top* )
(define-primitive-concept Minivan *top* )
(define-primitive-concept Rolls-Royce *top* )
(define-primitive-concept Objective *top* )
(define-primitive-concept BMW *top* )
(define-primitive-concept S3 *top* )
(define-primitive-concept SellerPreferences *top* )
(define-primitive-concept S2 *top* )
(define-primitive-concept SatelliteAlarm *top* )
(define-primitive-concept CarMaker *top* )
(define-primitive-concept S1 *top* )
(define-primitive-concept DriverInsurance *top* )
(define-primitive-concept S4 *top* )
(define-primitive-concept S5 *top* )
(define-primitive-concept CompactTruck *top* )
(define-primitive-concept Porsche *top* )
(define-primitive-concept Maybach *top* )
(define-primitive-concept PassengerCar *top* )
(define-primitive-concept LuxurySUV *top* )
(define-primitive-concept Saturn *top* )
(define-primitive-concept CaompactSUV *top* )
(define-primitive-concept Pontiac *top* )
(define-primitive-concept AirConditioning *top* )
(define-primitive-concept SafetyFeaturesDetail *top* )
(define-primitive-concept TheftInsurance *top* )
(define-primitive-concept GPS_system *top* )
(define-primitive-concept Beta *top* )
(define-primitive-concept FullSizeTruck *top* )
(define-primitive-concept BuyerPreferences *top* )
(define-primitive-concept SedanCar *top* )
(define-primitive-concept MINI *top* )
(define-primitive-concept Ferrari *top* )
(define-primitive-concept Color *top* )
(define-primitive-concept Dodge *top* )
(define-primitive-concept Volkswagen *top* )
(define-primitive-concept MidSizeCar *top* )
(define-primitive-concept Morgan *top* )
(define-primitive-concept Isuzu *top* )
(define-primitive-concept B1 *top* )
(define-primitive-concept B2 *top* )
(define-primitive-concept LuxuryCar *top* )
(define-primitive-concept ComfortandConvenienceDetail *top* )
(define-primitive-concept FullSizeVan *top* )
(define-primitive-concept Subaru *top* )
(define-primitive-concept NavigatorPack *top* )
(define-primitive-concept Lincoln *top* )
(define-primitive-concept Spyker *top* )
(define-primitive-concept BuyerPrefsOWA *top* )
(define-primitive-concept BuyerPrefsQOWA *top* )
(define-primitive-concept Acura *top* )
(define-primitive-concept B5 *top* )
(define-primitive-concept Jeep *top* )
(define-primitive-concept Ford *top* )
(define-primitive-concept B4 *top* )
(define-primitive-concept Lexus *top* )
(define-primitive-concept B3 *top* )
(functional hasExColor)
(functional hasMake)
(functional hasPassengerSpaceDetails)
(functional hasNavigator)
(functional hasComfortandConvenienceDetails)
(functional hasCargoCapacityDetails)
(functional hasSafetyFeaturesDetails)
(functional hasAirConditioning)
(functional hasAlarmSystem)
(functional hasPerformanceandHandlingDetails)
(functional hasFrontShocks)
(functional hasMPG)
(functional hasRearSprings)
(functional hasComfortandConvenience)
(functional hasPrice)
(functional hasEngine)
(functional hasPerformanceandHandling)
(functional hasModel)
(functional hasRearAnti-RollBar)
(functional hasFrontSprings)
(functional hasSizzleOrFizzle)
(functional hasInvoice)
(functional hasExpertReviews)
(functional hasDragCoefficient)
(functional hasRearSuspension)
(functional hasKMWarranty)
(functional hasTransmission)
(functional hasLimitedSlip)
(functional hasSafetyFeatures)
(functional hasResaleValue)
(functional hasRide)
(functional hasMSRP)
(functional hasYear)
(functional hasFrontAnti-RollBar)
(functional hasBrakes)
(functional hasMWarranty)
(functional hasWheels)
(functional hasRearShocks)
(functional hasFrontSuspension)
(functional hasCargoCapacity)
(functional hasPassengerSpace)
(functional hasDifferential)
(functional hasCurbWeight)
(domain hasMake Car )
(domain hasComfortandConvenienceDetails Car )
(domain hasSafetyFeaturesDetails Car )
(domain hasPassengerSpaceDetails Car )
(domain hasPerformanceandHandlingDetails Car )
(domain hasCargoCapacityDetails Car )
(range hasComfortandConvenienceDetails ComfortandConvenienceDetail )
(range hasMake CarMaker )
(range hasPassengerSpaceDetails PassengerSpaceDetail )
(range hasPerformanceandHandlingDetails PerformanceandHandlingDetail )
(range hasSafetyFeaturesDetails SafetyFeaturesDetail )
(range hasCargoCapacityDetails CargoCapacityDetail )
(domain hasSizzleOrFizzle Car )
(domain hasRide PerformanceandHandlingDetail )
(domain hasFrontSuspension PerformanceandHandlingDetail )
(domain hasDragCoefficient PerformanceandHandlingDetail )
(domain hasComfortandConvenience Car )
(domain hasDifferential PerformanceandHandlingDetail )
(domain hasMPG Car )
(domain hasWheels PerformanceandHandlingDetail )
(domain hasCargoCapacity Car )
(domain hasResaleValue Car )
(domain hasYear Car )
(domain hasInvoice Car )
(domain hasRearShocks PerformanceandHandlingDetail )
(domain hasRearSuspension PerformanceandHandlingDetail )
(domain hasFrontSprings PerformanceandHandlingDetail )
(domain hasLimitedSlip PerformanceandHandlingDetail )
(domain hasPassengerSpace Car )
(domain hasRearSprings PerformanceandHandlingDetail )
(domain hasExpertReviews Car )
(domain hasModel Car )
(domain hasSafetyFeatures Car )
(domain hasBrakes PerformanceandHandlingDetail )
(domain hasFrontShocks PerformanceandHandlingDetail )
(domain hasPerformanceandHandling Car )
(domain hasMSRP Car )
(domain hasRearAnti-RollBar PerformanceandHandlingDetail )
(domain hasCurbWeight PerformanceandHandlingDetail )
(domain hasTransmission PerformanceandHandlingDetail )
(domain hasFrontAnti-RollBar PerformanceandHandlingDetail )
(domain hasEngine PerformanceandHandlingDetail )
(functional hasTransmission)
(range hasTransmission *string* )
(functional hasPassengerSpace)
(range hasPassengerSpace *real* -1000000.0 1000000.0 )
(functional hasKMWarranty)
(range hasKMWarranty *integer* 0 300000 )
(functional hasEngine)
(range hasEngine *string* )
(functional hasSizzleOrFizzle)
(range hasSizzleOrFizzle *real* -1000000.0 1000000.0 )
(functional hasModel)
(range hasModel *string* )
(functional hasRearSprings)
(range hasRearSprings *string* )
(functional hasFrontAnti-RollBar)
(range hasFrontAnti-RollBar *string* )
(functional hasExpertReviews)
(range hasExpertReviews *string* )
(functional hasPrice)
(range hasPrice *integer* 0 100000 )
(functional hasDragCoefficient)
(range hasDragCoefficient *real* -1000000.0 1000000.0 )
(functional hasRearAnti-RollBar)
(range hasRearAnti-RollBar *string* )
(functional hasFrontSuspension)
(range hasFrontSuspension *string* )
(functional hasCargoCapacity)
(range hasCargoCapacity *real* -1000000.0 1000000.0 )
(functional hasFrontSprings)
(range hasFrontSprings *string* )
(functional hasRearShocks)
(range hasRearShocks *string* )
(functional hasWheels)
(range hasWheels *string* )
(functional hasRide)
(range hasRide *string* )
(functional hasLimitedSlip)
(range hasLimitedSlip *string* )
(functional hasSafetyFeatures)
(range hasSafetyFeatures *real* -1000000.0 1000000.0 )
(functional hasPerformanceandHandling)
(range hasPerformanceandHandling *real* -1000000.0 1000000.0 )
(functional hasRearSuspension)
(range hasRearSuspension *string* )
(functional hasComfortandConvenience)
(range hasComfortandConvenience *real* -1000000.0 1000000.0 )
(functional hasFrontShocks)
(range hasFrontShocks *string* )
(functional hasDifferential)
(range hasDifferential *string* )
(functional hasBrakes)
(range hasBrakes *string* )
(max-sat? (and Buy Sell))
