;; Automech Demo for Draco release of the Toolset
;; 
;; John D. McElroy, Franz Weckesser, Dennis Humphreys
;;                     7-5-88
;;
;; Original Automech code written by Mike Tanner
;; 10/31/88 -- classifier added by Diana Smetters to make this
;;		work with new toolset release

(in-package 'toolset)

(setq *csrl-global-threshold* 'toolset::neutral)

(setq begin-message
    '"This is a program to diagnose automobile problems.  At the present time
the the program only knows about fuel problems.  The first series of questions
is an attempt to determine what the problem is (starting problem, rough 
running, stalling, hesitation, slow response, knocking), and the conditions 
under which it occurs (idling, loading, accelerating, cruising, turning, 
decelerating, engine temperature).  After this the rest of the questions are 
attempts to confirm or reject hypotheses.")

;; AutoMech Classifier - AutoMechSystem - contains automech hierarchy

(define-classifier AutoMechSystem
	(display-name= "Automotive Mechanic System")
	(creation-date= "31 October 1988")
	(last-modification-date= "31 October 1988")
	(author= "Diana K. Smetters"))


;; AutoMech Specialist - Root Specialist of the automech heirarchy
;;
(define-classification-specialist AutoMech
    (display-name= "Automotive Mechanic")
    (establish-reject= (judge AutoMechSummary))
    (classifier= AutoMechSystem)
    (establish-confidence-vocabulary= usual-3-val)
    (establish-threshold= yes)
    (sub-specialists= FuelSystem)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Auto Mech Summary
;;
(define-recognition-agent AutoMechSummary
   match-1-recognition-agent
   (display-name= "Auto Mech Summary")
   (output-confidence-vocabulary= usual-3-val)
   (features=
      (ask autorec "Do you have trouble starting your car?")
      (ask autorec "Does the car stall?")
      (ask autorec "Does the car run rough?")
      (ask autorec "Does the car hesitate?")
      (ask autorec "Is the car slow to respond?")
      (ask autorec "Do you hear knocking or pinging sounds?")
      (ask autorec "Will the car not start?")
      (ask autorec "Does the car start hard?")
      (ask autorec "Does the problem occur while idling?")
      (ask autorec "Does the problem occur on loading?")
      (ask autorec "Does the problem occur while accelerating?")
      (ask autorec "Does the problem occur while cruising?")
      (ask autorec "Does the problem occur while changing direction?")
      (ask autorec "Does the problem occur while decelerating?")
      (ask autorec 
      	"Does the problem occur while the engine is both hot and cold?")
      (ask autorec "Does the problem occur only when the engine is hot?")
      (ask autorec "Does the problem occur only when the engine is cold?"))
      (patterns= 
       (( yes ? ? ? ? ? yes ? ? ? ? ? ? ? ? ? ? ) => yes)
       (( yes ? ? ? ? ? ? yes ? ? ? ? ? ? (gt no) ? ? ) => yes)
       (( yes ? ? ? ? ? ? yes ? ? ? ? ? ? ? (gt no) ? ) => yes)
       (( yes ? ? ? ? ? ? yes ? ? ? ? ? ? ? ? (gt no) ) => yes)
       (( ? yes ? ? ? ? ? ? (gt no) ? ? ? ? ? (gt no) ? ? ) => yes)
       (( ? yes ? ? ? ? ? ? (gt no) ? ? ? ? ? ? (gt no) ? ) => yes)
       (( ? yes ? ? ? ? ? ? (gt no) ? ? ? ? ? ? ? (gt no) ) => yes)
       (( ? yes ? ? ? ? ? ? ? (gt no) ? ? ? ? (gt no) ? ? ) => yes)
       (( ? yes ? ? ? ? ? ? ? (gt no) ? ? ? ? ? (gt no) ? ) => yes)
       (( ? yes ? ? ? ? ? ? ? (gt no) ? ? ? ? ? ? (gt no) ) => yes)
       (( ? yes ? ? ? ? ? ? ? ? (gt no) ? ? ? (gt no) ? ? ) => yes)
       (( ? yes ? ? ? ? ? ? ? ? (gt no) ? ? ? ? (gt no) ? ) => yes)
       (( ? yes ? ? ? ? ? ? ? ? (gt no) ? ? ? ? ? (gt no) ) => yes)
       (( ? yes ? ? ? ? ? ? ? ? ? (gt no) ? ? (gt no) ? ? ) => yes)
       (( ? yes ? ? ? ? ? ? ? ? ? (gt no) ? ? ? (gt no) ? ) => yes)
       (( ? yes ? ? ? ? ? ? ? ? ? (gt no) ? ? ? ? (gt no) ) => yes)
       (( ? yes ? ? ? ? ? ? ? ? ? ? (gt no) ? (gt no) ? ? ) => yes)
       (( ? yes ? ? ? ? ? ? ? ? ? ? (gt no) ? ? (gt no) ? ) => yes)
       (( ? yes ? ? ? ? ? ? ? ? ? ? (gt no) ? ? ? (gt no) ) => yes)
       (( ? yes ? ? ? ? ? ? ? ? ? ? ? (gt no) (gt no) ? ? ) => yes)
       (( ? yes ? ? ? ? ? ? ? ? ? ? ? (gt no) ? (gt no) ? ) => yes)
       (( ? yes ? ? ? ? ? ? ? ? ? ? ? (gt no) ? ? (gt no) ) => yes)
       (( ? ? yes ? ? ? ? ? (gt no) ? ? ? ? ? (gt no) ? ? ) => yes)
       (( ? ? yes ? ? ? ? ? (gt no) ? ? ? ? ? ? (gt no) ? ) => yes)
       (( ? ? yes ? ? ? ? ? (gt no) ? ? ? ? ? ? ? (gt no) ) => yes)
       (( ? ? yes ? ? ? ? ? ? (gt no) ? ? ? ? (gt no) ? ? ) => yes)
       (( ? ? yes ? ? ? ? ? ? (gt no) ? ? ? ? ? (gt no) ? ) => yes)
       (( ? ? yes ? ? ? ? ? ? (gt no) ? ? ? ? ? ? (gt no) ) => yes)
       (( ? ? ? yes ? ? ? ? ? ? (gt no) ? ? ? (gt no) ? ? ) => yes)
       (( ? ? ? yes ? ? ? ? ? ? (gt no) ? ? ? ? (gt no) ? ) => yes)  
       (( ? ? ? yes ? ? ? ? ? ? (gt no) ? ? ? ? ? (gt no) ) => yes)
       (( ? ? ? yes ? ? ? ? ? ? ? (gt no) ? ? (gt no) ? ? ) => yes)
       (( ? ? ? yes ? ? ? ? ? ? ? (gt no) ? ? ? (gt no) ? ) => yes)
       (( ? ? ? yes ? ? ? ? ? ? ? (gt no) ? ? ? ? (gt no) ) => yes)
       (( ? ? ? yes ? ? ? ? ? ? ? ? (gt no) ? (gt no) ? ? ) => yes)
       (( ? ? ? yes ? ? ? ? ? ? ? ? (gt no) ? ? (gt no) ? ) => yes)
       (( ? ? ? yes ? ? ? ? ? ? ? ? (gt no) ? ? ? (gt no) ) => yes)
       (( ? ? ? yes ? ? ? ? ? ? ? ? ? (gt no) (gt no) ? ? ) => yes)
       (( ? ? ? yes ? ? ? ? ? ? ? ? ? (gt no) ? (gt no) ? ) => yes)
       (( ? ? ? yes ? ? ? ? ? ? ? ? ? (gt no) ? ? (gt no) ) => yes)
       (( ? ? ? ? yes ? ? ? ? ? (gt no) ? ? ? (gt no) ? ? ) => yes)
       (( ? ? ? ? yes ? ? ? ? ? (gt no) ? ? ? ? (gt no) ? ) => yes)
       (( ? ? ? ? yes ? ? ? ? ? (gt no) ? ? ? ? ? (gt no) ) => yes)
       (( ? ? ? ? yes ? ? ? ? ? ? (gt no) ? ? (gt no) ? ? ) => yes)
       (( ? ? ? ? yes ? ? ? ? ? ? (gt no) ? ? ? (gt no) ? ) => yes)
       (( ? ? ? ? yes ? ? ? ? ? ? (gt no) ? ? ? ? (gt no) ) => yes)
       (( ? ? ? ? ? yes ? ? ? ? (gt no) ? ? ? (gt no) ? ? ) => yes)
       (( ? ? ? ? ? yes ? ? ? ? (gt no) ? ? ? ? (gt no) ? ) => yes)
       (( ? ? ? ? ? yes ? ? ? ? (gt no) ? ? ? ? ? (gt no) ) => yes))
   (no-match-confidence= no)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Fuel System Specialist
;;
(define-classification-specialist FuelSystem
    (display-name= "Fuel System Specialist")
    (establish-reject= (judge FuelSystemSummary))
    (classifier= AutoMechSystem)
    (super-specialists= AutoMech)
    (sub-specialists= Delivery Mixture Vacuum AirIntake BadFuel)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Fuel System Summary
;;
(define-recognition-agent FuelSystemSummary 
   match-1-recognition-agent
   (display-name= "Fuel System Summary")
   (features= 
        (ask autorec 
	   "Does the problem occur while the engine is both hot and cold?")
        (ask autorec "Do you have problems starting your car?")
        (ask autorec "Does the engine crank?")
        (ask autorec "Have you eliminated ignition as a possible cause of the problem?"))
   (patterns= ((No ? ? ?) => very-likely)
              ((? Yes No ?) => very-unlikely)
              ((? ? ? Yes) => likely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Delivery Specialist
;; 
(define-classification-specialist Delivery
    (display-name= " Specialist")
    (establish-reject= (judge DeliverySummary))
    (classifier= AutoMechSystem)
    (super-specialists= FuelSystem)
    (sub-specialists= TankEmpty FaultyFuelPump CloggedFuelFilter FuelLine)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Delivery Summary
;;
(define-recognition-agent DeliverySummary 
   match-1-recognition-agent
   (display-name= "Delivery Summary")
   (features= (judge FuelTank)
              (judge SteadyState)
	      (judge FuelDelivered))
   (patterns= (((gt neutral) ? ?) => (judge FuelTank))
              ((? ? (gt neutral)) => very-unlikely)
              ((? (gt neutral) ?) => likely)
              ((? (le neutral) ?) => unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Fuel Tank
;;
(define-recognition-agent FuelTank 
   match-1-recognition-agent
   (display-name= "Fuel Tank")
   (features= (ask autorec "Do you have trouble starting your car?")
   	      (ask autorec "Is there Fuel in the Tank?"))
   (patterns= ((no ?) => very-unlikely)
              ((yes no) => very-likely)
              ((yes yes) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Steady State
;;
(define-recognition-agent SteadyState 
   match-1-recognition-agent
   (display-name= "Steady State")
   (features= (ask autorec "Does the problem occur while cruising?")
   	      (ask autorec "Does the problem occur while idling?")
              (ask autorec "Do you have trouble starting your car?"))
   (patterns= ((yes ? ?) => likely)
              ((? yes ?) => likely)
              ((? ? yes) => likely)
	      ((no no no) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Fuel Delivered
;;
(define-recognition-agent FuelDelivered 
   match-1-recognition-agent
   (display-name= "Fuel Delivered")
   (features= 
     (ask autorec "Is there any Fuel Delivered to the carbureter?"))
   (patterns= ((yes) => very-likely)
   	      ((no) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Mixture Specialist
;;
(define-classification-specialist Mixture
    (display-name= " Specialist")
    (establish-reject= (judge MixtureSummary))
    (classifier= AutoMechSystem)
    (super-specialists= FuelSystem)
    (sub-specialists= Choke Carburetor MixtureAdjustment)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Mixture Summary
;;
(define-recognition-agent MixtureSummary 
   match-1-recognition-agent
   (display-name= "Mixture Summary")
   (features= (judge TemperatureDependent)
              (judge Circumstantial)
	      (judge SteadyState))
   (patterns= (((gt neutral) ? ?) => (judge TemperatureDependent))
              ((? (gt neutral) (gt neutral)) => very-likely)
              ((? (gt neutral) neutral) => neutral)
              ((? ? (gt neutral)) => neutral))
   (no-match-confidence= very-unlikely)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))


;; Temperature Dependent
;;
(define-recognition-agent TemperatureDependent 
   match-1-recognition-agent
   (display-name= "Temperature Dependent")
   (features= 
     (ask autorec 
   "Does the problem occur when the engine is both hot and cold?"))
   (patterns= ((yes) => very-unlikely)
   	      ((no) => very-likely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Circumstantial
;;
(define-recognition-agent Circumstantial
   match-1-recognition-agent
   (display-name= "Circumstantial")
   (features= 
        (ask autorec "Does the car run rough?")
        (ask autorec "Have you been getting bad gas mileage?"))
   (patterns= ((yes yes) => somewhat-likely)
   	      ((yes ?) => neutral)
   	      ((? yes) => neutral))
   (no-match-confidence= somewhat-unlikely)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Vacuum Specialist
;;
(define-classification-specialist Vacuum
    (display-name= " Specialist")
    (establish-reject= (judge VacuumSummary))
    (classifier= AutoMechSystem)
    (super-specialists= FuelSystem)
    (sub-specialists= VacuumHoses CarburetorGasket) 
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Vacuum Summary
;;
(define-recognition-agent VacuumSummary 
   match-1-recognition-agent
   (display-name= "Vacuum Summary")
   (features= (judge SpecialCases)
              (judge Rough)
	      (judge Oscillation))
   (patterns= (((gt neutral) ? ?) => (judge SpecialCases))
              ((? (ge likely) very-likely) => very-likely)
              ((? (ge neutral) (ge neutral)) => likely)
              ((? (ge neutral) (lt neutral)) => somewhat-likely)
              ((? (lt neutral) (ge neutral)) => somewhat-likely)
              ((? (lt neutral) neutral) => unlikely)
              ((? very-unlikely very-unlikely) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))


;; Special cases
;;
(define-recognition-agent SpecialCases 
   discrete-pattern-recognition-agent
   (display-name= "Special Cases")
   (features= 
     (ask autorec "Does the car stall?")
     (ask autorec "Does the problem occur while accelerating?")
     (ask autorec "Does the problem occur both when the engine is hot and cold?"))
   (pattern= yes yes yes)
   (match-confidence= likely)
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Rough
;;
(define-recognition-agent Rough
   match-1-recognition-agent
   (display-name= "Rough")
   (features= 
        (ask autorec "Does the car run Rough?")
        (ask autorec "Does the problem occur while idling?")
        (ask autorec "Does the problem occur on loading?"))
   (patterns= ((yes yes ?) => very-likely)
   	      ((yes ? yes) => very-likely))
   (no-match-confidence= very-unlikely)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Oscillation
;;
(define-recognition-agent Oscillation
   match-1-recognition-agent
   (display-name= "Oscillation")
   (features= 
        (ask autorec "Does the car hesitate?")
        (ask autorec "Does the car run Rough?"))
   (patterns= ((yes ?) => very-likely)
   	      ((? yes) => very-likely)
   	      ((no no) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Air Intake Specialist
;;
(define-classification-specialist AirIntake
    (display-name= "Air Intake Specialist")
    (establish-reject= (judge AirIntakeSummary))
    (classifier= AutoMechSystem)
    (super-specialists= FuelSystem)        
    (sub-specialists= AirFilter ThermostaticAirCleaner)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Air Intake Summary
;;
(define-recognition-agent AirIntakeSummary 
   match-1-recognition-agent
   (display-name= "Air Intake Summary")
   (features= (judge Filter)
	      (judge Snorkel))
   (patterns= (((ge likely) ?) => very-likely)
              ((? (ge likely)) => very-likely)
              ((neutral neutral) => neutral))
   (no-match-confidence= unlikely)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))


;; Filter
;;
(define-recognition-agent Filter 
   match-1-recognition-agent
   (display-name= "Filter")
   (features= 
     (ask autorec "Is the air Filter old?")
     (ask autorec "Can you see sunlight thRough the air Filter?"))
   (patterns= ((yes ?) => very-likely)
   	      ((no ?) => unlikely)
   	      ((? no) => likely)
   	      ((? yes) => unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Snorkel
;;
(define-recognition-agent Snorkel
   match-1-recognition-agent
   (display-name= "Snorkel")
   (features= 
        (ask autorec "Does the problem occur only when the engine is cold?")
       (ask autorec 
    "Is the thermostatic valve in the Snorkel open when the engine is cold?")
       (ask autorec 
       "Does the problem occur only when the engine is hot?")
       (ask autorec 
    "Is the thermostatic valve in the Snorkel closed when the engine is hot?")
       (ask autorec 
       "Is the Snorkel pointing in the wrong direction?"))
   (patterns= ((yes yes ? ? ?) => very-likely)
              ((? ? yes yes ?) => very-likely)
              ((no ? no ? ?) => very-unlikely)
              ((no ? ? no ?) => very-unlikely)
              ((? no no ? ?) => very-unlikely)
              ((? no ? no ?) => very-unlikely)
              ((neutral (ge neutral) neutral (ge neutral) yes) => likely)
              ((neutral (ge neutral) (ge neutral) neutral yes) => likely)
              (((ge neutral) neutral neutral (ge neutral) yes) => likely)
              (((ge neutral) neutral (ge neutral) neutral yes) => likely)
              ((neutral (ge neutral) neutral (ge neutral) no) => somewhat-unlikely)
              ((neutral (ge neutral) (ge neutral) neutral no) => somewhat-unlikely)
              (((ge neutral) neutral neutral (ge neutral) no) => somewhat-unlikely)
              (((ge neutral) neutral (ge neutral) neutral no) => somewhat-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Bad Fuel Specialist
;;
(define-classification-specialist BadFuel
    (display-name= "Bad Fuel Specialist")
    (establish-reject= (judge BadFuelSummary))
    (classifier= AutoMechSystem)
    (super-specialists= FuelSystem)        
    (sub-specialists= LowOctane WaterInFuel DirtInFuel)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Bad Fuel Summary
;;
(define-recognition-agent BadFuelSummary 
   match-1-recognition-agent
   (display-name= "Bad Fuel Summary")
   (features= (judge BadFuelRelevant)
   	      (judge Gas))
   (patterns= (((lt neutral) ?) => (judge BadFuelRelevant))
              ((very-likely (ge neutral)) => very-likely)
              ((somewhat-likely (ge neutral)) => likely)
              ((? (lt neutral)) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))


;; Bad Fuel Relevant
;;
(define-recognition-agent BadFuelRelevant 
   match-1-recognition-agent
   (display-name= "Bad Fuel Relevant")
   (features= 
     (ask autorec "Is the car slow to respond? ")
     (ask autorec "Does the car start hard?")
     (ask autorec "Do you hear knocking or pinging sounds?")
     (ask autorec "Does the problem occur while accelerating?"))
   (patterns= ((yes ? ? ?) => very-unlikely)
   	      ((? yes ? ?) => very-unlikely)
   	      ((? ? yes yes) => very-likely))
   (no-match-confidence= somewhat-likely)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Gas
;;
(define-recognition-agent Gas 
   match-1-recognition-agent
   (display-name= "Gas")
   (features= 
     (ask autorec "Have you tried a higher grade of gas?")
     (ask autorec "Did the problem start after the last fillup?")
     (ask autorec "Has the problem gotten worse since the last fillup?"))
   (patterns= ((yes ? ?) => very-unlikely)
   	      ((? yes ?) => very-likely)
   	      ((? no yes) => likely))
   (no-match-confidence= very-unlikely)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Tank Empty Specialist
;;
(define-classification-specialist TankEmpty
    (display-name= "Tank Empty Specialist")
    (establish-reject= (judge FuelTank))
    (classifier= AutoMechSystem)
    (super-specialists= Delivery)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Faulty Fuel Pump Specialist
;;
(define-classification-specialist FaultyFuelPump
    (display-name= "Faulty Fuel Pump Specialist")
    (establish-reject= (judge FaultyFuelPumpSummary))
    (classifier= AutoMechSystem)
    (super-specialists= Delivery)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Faulty Fuel Pump Summary
;;
(define-recognition-agent FaultyFuelPumpSummary 
   match-1-recognition-agent
   (display-name= "Faulty Fuel Pump Summary")
   (features= (judge FaultyFuelPumpRelevant)
   	      (judge FuelDelivered))
   (patterns= (((lt neutral) ?) => (judge BadFuelRelevant))
              ((very-likely (ge neutral)) => very-likely)
              ((somewhat-likely (ge neutral)) => likely)
              ((? (lt neutral)) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))


;; Faulty Fuel Pump Relevant
;;
(define-recognition-agent FaultyFuelPumpRelevant 
   match-1-recognition-agent
   (display-name= "Faulty Fuel Pump Relevant")
   (features= 
     (ask autorec "Does the car stall?")
     (ask autorec "Does the car hesitate?")
     (ask autorec "Do you have problems starting your car?"))
   (patterns= ((yes ? ?) => very-likely)
   	      ((? yes ?) => very-likely)
   	      ((? ? yes) => very-likely))
   (no-match-confidence= very-unlikely)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Clogged Fuel Filter Specialist
;;
(define-classification-specialist CloggedFuelFilter
    (display-name= "Clogged Fuel Filter Specialist")
    (establish-reject= (judge CloggedFuelFilterSummary))
    (classifier= AutoMechSystem)
    (super-specialists= Delivery)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Clogged Fuel Filter Summary
;;
(define-recognition-agent CloggedFuelFilterSummary 
   match-1-recognition-agent
   (display-name= "Clogged Fuel Filter Summary")
   (features= (judge FuelFilter)
   	      (judge FuelDelivered))
   (patterns= (((gt neutral) very-unlikely) => very-unlikely)
              (((ge neutral) (lt neutral)) => unlikely)
              ((? very-likely) => very-likely)
              ((? (gt neutral)) => likely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Fuel Filter 
;;
(define-recognition-agent FuelFilter 
   match-1-recognition-agent
   (display-name= "Fuel Filter")
   (features= 
     (ask autorec "Is the Fuel Filter old?")
     (ask autorec "Is the Fuel Filter clogged?"))
   (patterns= ((? yes) => very-likely)
   	      ((? no) => very-unlikely)
   	      ((yes ?) => likely)
	      ((neutral neutral) => neutral))
   (no-match-confidence= unlikely)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Fuel Line Specialist
;;
(define-classification-specialist FuelLine
    (display-name= "Fuel Line Specialist")
    (establish-reject= (judge FuelLineSummary))
    (classifier= AutoMechSystem)
    (super-specialists= Delivery)
    (sub-specialists= PluggedFuelLine BrokenFuelLine)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Fuel Line Summary
;;
(define-recognition-agent FuelLineSummary 
   match-1-recognition-agent
   (display-name= "Fuel Line Summary")
   (features= (judge FuelDelivered))
   (patterns= (((gt neutral)) => very-unlikely)
              ((neutral) => neutral)
              (((lt neutral)) => likely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Choke Specialist
;;
(define-classification-specialist Choke
    (display-name= "Choke Specialist")
    (establish-reject= (judge TemperatureDependent))
    (classifier= AutoMechSystem)
    (super-specialists= Mixture)
    (sub-specialists= ChokeSensors ChokeMechanism)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Carburetor Specialist
;;
(define-classification-specialist Carburetor
    (display-name= "Carburetor Specialist")
    (establish-reject= (judge CarburetorSummary))
    (classifier= AutoMechSystem)
    (super-specialists= Mixture)
    (sub-specialists= CarbReservoir AcceleratorPump)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Carburetor Summary
;;
(define-recognition-agent CarburetorSummary 
   match-1-recognition-agent
   (display-name= "Carburetor Summary")
   (features= (judge TemperatureDependent)
   	      (judge SteadyState)
   	      (judge OtherCarb))
   (patterns= (((lt neutral) ? ?) => (judge TemperatureDependent))
              ((? likely ?) => very-likely)
              ((? ? very-likely) => very-likely))
   (no-match-confidence= likely)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Other Carb
;;
(define-recognition-agent OtherCarb 
   match-1-recognition-agent
   (display-name= "Other Carb")
   (features= 
     (ask autorec "Is there Fuel leaking around the carburetor?")
     (ask autorec "Do you hear knocking or pinging sounds?")
     (ask autorec "Does the engine idle fast?")
     (ask autorec "Does the car hesitate?")
     (ask autorec "Does the problem occur while decelerating?")
     (ask autorec "Does the engine idle slow?")
     (ask autorec "Does the car run Rough?"))
   (patterns= ((yes ? ? ? ? ? ?) => very-likely)
   	      ((? yes yes ? ? ? ?) => very-likely)
   	      ((? ? ? yes yes ? ?) => very-likely)
   	      ((? ? ? ? ? yes ?) => very-likely)
   	      ((? ? ? ? ? ? yes) => very-likely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Mixture Adjustment Specialist
;;
(define-classification-specialist MixtureAdjustment
    (display-name= "Mixture Adjustment Specialist")
    (establish-reject= (judge MixtureAdjustmentSummary))
    (classifier= AutoMechSystem)
    (super-specialists= Mixture)
    (sub-specialists= IdleAdjustment RichnessAdjustment)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Mixture Adjustment Summary
;;
(define-recognition-agent MixtureAdjustmentSummary 
   match-1-recognition-agent
   (display-name= "Mixture Adjustment Summary")
   (features= (judge Idle)
   	      (judge Rough)
   	      (judge OtherMixAdjust))
   (patterns= (((gt neutral) ? ?) => likely)
              ((? (gt neutral) (gt neutral)) => likely))
   (no-match-confidence= unlikely)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Idle
;;
(define-recognition-agent Idle 
   match-1-recognition-agent
   (display-name= "Idle")
   (features= 
     (ask autorec "Does the engine idle fast?")
     (ask autorec "Does the engine idle slow?"))
   (patterns= ((yes ?) => very-likely)
   	      ((no yes) => very-likely)
   	      ((no no) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Other Mix Adjust
;;
(define-recognition-agent OtherMixAdjust 
   match-1-recognition-agent
   (display-name= "Other Mixture Adjustment")
   (features= 
     (ask autorec "Do you hear knocking or pinging sounds?")
     (ask autorec "Have you been getting bad gas mileage?"))
   (patterns= ((yes yes) => likely)
   	      ((yes ?) => somewhat-likely)
   	      ((? yes) => somewhat-likely)
   	      ((no no) => unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Vacuum Hoses Specialist
;;
(define-classification-specialist VacuumHoses
    (display-name= "Vacuum Hoses Specialist")
    (establish-reject= (judge Physical))
    (classifier= AutoMechSystem)
    (super-specialists= Vacuum)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Physical
;;
(define-recognition-agent Physical 
   match-1-recognition-agent
   (display-name= "Physical")
   (features= 
     (ask autorec 
     "Are there any cracked, punctured, or loose vacuum hoses?")
     (ask autorec 
     "Can you hear hissing while the engine is running?")
     (ask autorec "Are the vacuum hoses old?"))
   (patterns= ((yes ? ?) => very-likely)
   	      ((no ? ?) => very-unlikely)
   	      ((neutral yes ?) => likely)
   	      ((neutral no yes) => somewhat-likely)
   	      ((neutral no no) => unlikely)
   	      ((neutral neutral yes) => somewhat-likely)
   	      ((neutral neutral no) => somewhat-unlikely)
   	      ((neutral neutral neutral) => neutral))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Carburetor Gasket Specialist
;;
(define-classification-specialist CarburetorGasket
    (display-name= "Carburetor Gasket Specialist")
    (establish-reject= (judge CarburetorGasketSummary))
    (classifier= AutoMechSystem)
    (super-specialists= Vacuum)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Carburetor Gasket Summary
;;
(define-recognition-agent  CarburetorGasketSummary
   match-1-recognition-agent
   (display-name= "Carburetor Gasket")
   (features= 
      (ask autorec "Can you see cracks in the carburetor gasket?"))
   (patterns= ((yes) => very-likely)
   	      ((no) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Air Filter Specialist
;;
(define-classification-specialist AirFilter
    (display-name= "Air Filter Specialist")
    (establish-reject= (judge Filter))
    (classifier= AutoMechSystem)
    (super-specialists= AirIntake)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Thermostatic Air Cleaner Specialist
;;
(define-classification-specialist ThermostaticAirCleaner
    (display-name= "Thermostatic Air Cleaner Specialist")
    (establish-reject= (judge ThermostaticAirCleanerSummary))
    (classifier= AutoMechSystem)
    (super-specialists= AirIntake)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Thermostatic Air Cleanor Summary
;;
(define-recognition-agent ThermostaticAirCleanerSummary 
   match-1-recognition-agent
   (display-name= "Thermostatic Air Cleaner Summary")
   (features= (judge ACValve)
      (ask autorec "Is there a vacuum problem?"))
   (patterns= (((le neutral) ?) => (judge ACValve))
              ((? yes) => very-likely)
              ((? no) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Air Cleaner Valve
;;
(define-recognition-agent ACValve
   match-1-recognition-agent
   (display-name= "Air Cleaner Valve")
   (features= 
      (ask autorec 
      "Does the problem occur only when the engine is cold?")
      (ask autorec 
      "Is the thermostatic valve open when the engine is cold?")
      (ask autorec 
      "Does the problem occur only when the engine is hot?")
      (ask autorec
      "Is the thermostatic valve closed when the engine is hot?"))
   (patterns= ((yes yes ? ?) => very-likely)
              ((? ? yes yes) => very-likely)
              ((yes no ? ?) => very-unlikely)
              ((? ? yes no) => very-unlikely)
              ((? no ? no) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Low Octane Specialist
;;
(define-classification-specialist LowOctane
    (display-name= "Low Octane Specialist")
    (establish-reject= (judge Knocking))
    (classifier= AutoMechSystem)
    (super-specialists= BadFuel)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Knocking
;;
(define-recognition-agent Knocking
   match-1-recognition-agent
   (display-name= "Knocking")
   (features= 
      (ask autorec "Do you hear knocking or pinging sounds?"))
   (patterns= ((yes) => very-likely)
   	      ((no) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Water In Fuel Specialist
;;
(define-classification-specialist WaterInFuel
    (display-name= "Water In Fuel Specialist")
    (establish-reject= (judge Water))
    (classifier= AutoMechSystem)
    (super-specialists= BadFuel)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Water
;;
(define-recognition-agent Water
   match-1-recognition-agent
   (display-name= "Water")
   (features= 
      (ask autorec "Is there any water in the Fuel?"))
   (patterns= ((yes) => very-likely)
   	      ((no) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Dirt In Fuel Specialist
;;
(define-classification-specialist DirtInFuel
    (display-name= "Dirt In Fuel Specialist")
    (establish-reject= (judge Dirt))
    (classifier= AutoMechSystem)
    (super-specialists= BadFuel)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Dirt
;;
(define-recognition-agent Dirt
   match-1-recognition-agent
   (display-name= "Dirt")
   (features= 
      (ask autorec "Is there any dirt in the Fuel?"))
   (patterns= ((yes) => very-likely)
   	      ((no) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Plugged Fuel Line Specialist
;;
(define-classification-specialist PluggedFuelLine
    (display-name= "Plugged Fuel Line Specialist")
    (establish-reject= (judge PluggedFuelLineSummary))
    (classifier= AutoMechSystem)
    (super-specialists= FuelLine)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Plugged Fuel Line Summary
;;
(define-recognition-agent PluggedFuelLineSummary 
   match-1-recognition-agent
   (display-name= "Plugged Fuel Line Summary")
   (features= (judge PluggedFuelLineRelevant)
	      (judge Blockage))
   (patterns= (((lt neutral) ?) => (judge PluggedFuelLineRelevant))
              ((very-likely neutral) => likely)
              (((ge likely) very-likely) => very-likely)
              ((likely neutral) => somewhat-likely)
              ((? (ge neutral)) => very-likely))
   (no-match-confidence= very-unlikely)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))


;; Plugged Fuel Line Relevant
;;
(define-recognition-agent PluggedFuelLineRelevant 
   match-1-recognition-agent
   (display-name= "Plugged Fuel Line Relevant")
   (features= 
     (ask autorec "Will the car not start?")
     (ask autorec "Is the outside air temperature below freezing?"))
   (patterns= ((yes yes) => very-likely)
              ((yes ?) => likely))
   (no-match-confidence= very-unlikely)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Blockage
;;
(define-recognition-agent Blockage
   match-1-recognition-agent
   (display-name= "Blockage")
   (features= 
     (ask autorec 
     "Is there a blockage on the suction side of the Fuel pump?")
     (ask autorec
     "Is there a blockage on the pressure side of the Fuel pump?"))
   (patterns= ((yes ?) => very-likely)
   	      ((? yes) => very-likely)
   	      ((no no) => very-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Broken Fuel Line Specialist
;;
(define-classification-specialist BrokenFuelLine
    (display-name= "Broken Fuel Line Specialist")
    (establish-reject= (judge Leakage))
    (classifier= AutoMechSystem)
    (super-specialists= FuelLine)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Leakage
;;
(define-recognition-agent Leakage 
   match-1-recognition-agent
   (display-name= "Leakage")
   (features= 
     (ask autorec 
     "Have you been getting bad gas mileage?")
     (ask autorec 
     "Can you smell gas in the car?")
     (ask autorec "Do you see Fuel spots under the car?"))
   (patterns= ((yes yes yes) => very-likely)
   	      ((no no no) => very-unlikely)
   	      ((no ? ?) => very-unlikely)
   	      ((yes yes ?) => likely)
   	      ((no no ?) => unlikely)
   	      ((yes ? yes) => likely)
   	      ((no ? no) => unlikely)
   	      ((? yes yes) => likely)
   	      ((? no no) => unlikely)
   	      ((yes neutral neutral) => somewhat-likely)
   	      ((neutral yes neutral) => somewhat-likely)
   	      ((neutral neutral yes) => somewhat-likely)
   	      ((no neutral neutral) => somewhat-unlikely)
   	      ((neutral no neutral) => somewhat-unlikely)
   	      ((neutral neutral no) => somewhat-unlikely))
   (no-match-confidence= neutral)
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))

;; Choke Sensors Specialist
;;
(define-classification-specialist ChokeSensors
    (display-name= "Choke Sensors Specialist")
    (establish-reject= (judge ChokeUnload))
    (classifier= AutoMechSystem)
    (super-specialists= Choke)
    (sub-specialists= CoolantSensor EngineBlockSensor VacuumUnloader)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Choke Unload
;;
(define-recognition-agent ChokeUnload
          match-1-recognition-agent
  (display-name= "Choke Unload")
  (features=
    (ask autorec "Does the choke unload?")
    (ask autorec "Does the choke unload too quickly?"))
  (patterns= ((no ?)=> very-likely)
              ((? yes)=> very-likely)
              (( neutral neutral )=> neutral))
  (no-match-confidence= unlikely)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Choke Mechanism Specialist
;;
(define-classification-specialist ChokeMechanism
    (display-name= "Choke Mechanism Specialist")
    (establish-reject= (judge Linkage))
    (classifier= AutoMechSystem)
    (super-specialists= Choke)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Linkage
;;
(define-recognition-agent Linkage
           match-1-recognition-agent
  (display-name= "Linkage")
  (features= 
    (ask autorec "Are there any broken or disconnected parts in the choke mechanism?")
    (ask autorec "Does the mechanism stick or jam?"))
  (patterns= (( yes ? )=> very-likely)
              (( ? yes )=> very-likely)
              (( ? no )=> unlikely)
              (( neutral neutral )=> neutral))
  (no-match-confidence= very-unlikely)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Carb Reservoir Specialist
;;
(define-classification-specialist CarbReservoir
    (display-name= "Carb Reservoir Specialist")
    (establish-reject= (judge CarbReservoirSummary))
    (classifier= AutoMechSystem)
    (super-specialists= Carburetor)
    (sub-specialists= ValveClosed ValveOpen)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; CarbReservoir Summary
;;
(define-recognition-agent CarbReservoirSummary
       match-1-recognition-agent
  (display-name= "Carb Reservoir Summary")
  (features= (judge Open)
             (judge Closed))
  (patterns= (((gt neutral) ? )=> (judge open))
             ((? (gt neutral))=> (judge closed)))
  (no-match-confidence= very-unlikely)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Open
;;
(define-recognition-agent Open match-1-recognition-agent
  (display-name= "Open")
  (features=
    (ask autorec "Does the car run Rough?")
    (ask autorec "Does black smoke come out of the exhaust?")
    (ask autorec "Does the problem clear up when the engine is under a load?"))
  (patterns= (( yes yes yes )=> very-likely)
              (( yes yes ? )=> likely)
              (( yes ? ? )=> somewhat-likely)
              (( no ? ? )=> unlikely))
  (no-match-confidence= neutral)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Closed
;;
(define-recognition-agent Closed match-1-recognition-agent
  (display-name= "Closed")
  (features= 
    (ask autorec "Does the car stall?")
    (ask autorec "Is the car slow to respond?")
    (ask autorec "Do you hear knocking or pinging sounds?"))
  (patterns= (( yes ? ? )=> likely)
              (( ? yes ? )=> likely)
              (( ? ? yes )=> likely))
  (no-match-confidence= unlikely)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Accelerator Pump Specialist
;;
(define-classification-specialist AcceleratorPump
    (display-name= "Accelerator Pump Specialist")
    (establish-reject= (judge AcceleratorPumpSummary))
    (classifier= AutoMechSystem)
    (super-specialists= Carburetor)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Accelerator Pump Summary
;;
(define-recognition-agent AcceleratorPumpSummary
        match-1-recognition-agent
  (display-name= "Accelerator Pump Summary")
  (features= (judge AcceleratorPumpRelevant)
              (judge Pump))
  (patterns= ((( ge neutral ) ? )=> (judge Pump)))
  (no-match-confidence= (judge AcceleratorPumpRelevant))
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Accelerator Relevant
;;
(define-recognition-agent AcceleratorPumpRelevant match-1-recognition-agent
  (display-name= "Accelerator Pump Relevant")
  (features=
    (ask autorec "Do you have problems starting your car?")
    (ask autorec "Does the car hesitate?")
    (ask autorec "Is the car slow to respond?")
    (ask autorec "Does the problem occur while accelerating?"))
  (patterns= (( yes ? ? ? )=> very-likely)
              (( ? yes ? yes )=> very-likely)
              (( ? ? yes yes )=> very-likely))
  (no-match-confidence= very-unlikely)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Accelerator Pump
;;
(define-recognition-agent Pump 
  match-1-recognition-agent
  (display-name= "Accelerator Pump")
  (features= 
   (ask autorec "Does Fuel spray into the carburetor when the accelerator is pushed?")
   (ask autorec "Does the car hesitate?")
   (ask autorec "Does the problem occur while accelerating?")
   (ask autorec "Does a lot of Fuel spray into the barrel?")
   (ask autorec "Does only a little Fuel spray into the barrel?"))
  (patterns= 
    (( no ? ? ? ? )=> very-likely)
    (( yes yes yes yes ? )=> likely)
    (( yes yes yes ? yes )=> likely)
    (( yes no ? ? ? )=> unlikely)
    (( yes ? no ? ? )=> unlikely)
    (( yes ? ? no no )=> unlikely))
  (no-match-confidence= somewhat-likely)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))


;; Idle Adjustment Specialist
;;
(define-classification-specialist IdleAdjustment
    (display-name= "Idle Adjustment Specialist")
    (establish-reject= (judge Idle))
    (classifier= AutoMechSystem)
    (super-specialists= MixtureAdjustment)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Idle 
;;
(define-recognition-agent Idle
        match-1-recognition-agent
  (display-name= "Idle")
  (features= 
    (ask autorec "Does the engine idle fast?")
    (ask autorec "Does the engine idle slow?"))
  (patterns= (( yes ? )=> very-likely)
              (( no yes)=> very-likely)
              (( no no )=> very-unlikely))
  (no-match-confidence= neutral)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Richness Adjustment Specialist
;;
(define-classification-specialist RichnessAdjustment
    (display-name= "Richness Adjustment Specialist")
    (establish-reject= (judge RichnessAdjustmentMessage))
    (classifier= AutoMechSystem)
    (super-specialists= MixtureAdjustment)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Richness Adjustment Message
;;
(define-recognition-agent RichnessAdjustmentMessage
  match-1-recognition-agent
  (display-name= "Richness Adjustment Message")
  (features= (judge CO-Meter)
             (judge RichnessAdjustmentSummary))
  (patterns= (( neutral ? )=> (judge RichnessAdjustmentSummary)))
  (no-match-confidence= (judge CO-Meter))
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; CO-Meter
;;
(define-recognition-agent CO-Meter match-1-recognition-agent
  (display-name= "CO-Meter")
  (features= (ask autorec "Is a CO meter value available?")
              (ask autorec "Does the CO meter show the recommended value?"))
  (patterns= (( no ? )=> neutral)
              (( yes yes )=> very-unlikely)
              (( yes no )=> very-likely))
  (no-match-confidence= neutral)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Richness Adjustment Summary 
;;
(define-recognition-agent RichnessAdjustmentSummary 
  match-1-recognition-agent
  (display-name= "Richness Adjustment Summary")
  (features= (judge lean)
             (judge rich))
  (patterns= (((gt neutral) (gt neutral))=> very-likely)
             (((gt neutral) ? )=> likely)
             (( ? (gt neutral))=> likely))
  (no-match-confidence= unlikely)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Lean
;;
(define-recognition-agent Lean match-1-recognition-agent
  (display-name= "Lean")
  (features=
    (ask autorec "Do you hear knocking or pinging sounds?")
    (ask autorec "Does the engine seem to lack power?"))
  (patterns= (( yes yes )=> very-likely)
              (( yes ? )=> likely)
              (( ? yes )=> likely)
              (( no no )=> unlikely))
  (no-match-confidence= neutral)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Rich
;;
(define-recognition-agent Rich match-1-recognition-agent
  (display-name= "Rich")
  (features=
    (ask autorec "Does the car run Rough?")
    (ask autorec "Have you been getting bad gas mileage?")
    (ask autorec "Can you smell gas in the car?"))
  (patterns= (( yes yes yes )=> very-likely)
              (( yes ? ? )=> likely)
              (( ? yes ? )=> likely)
              (( ? ? yes)=> likely)
              (( no no no )=> unlikely))
  (no-match-confidence= neutral)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))


;; Coolant Sensor Specialist
;;
(define-classification-specialist CoolantSensor
    (display-name= "Coolant Sensor Specialist")
    (establish-reject= (judge CoolantSensorSummary))
    (classifier= AutoMechSystem)
    (super-specialists= ChokeSensors)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Coolant Sensor Summary
;;
(define-recognition-agent CoolantSensorSummary
          match-1-recognition-agent
  (display-name= "Coolant Sensor Summary")
  (features= 
    (ask autorec "Does the choke unload?")
    (ask autorec "Is the choke's coolant sensor bad?"))
  (patterns= (( no yes )=> very-likely)
              (( no ? )=> likely)
              (( neutral neutral )=> neutral))
  (no-match-confidence= unlikely)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Engine Block Sensor Specialist
;;
(define-classification-specialist EngineBlockSensor
    (display-name= "Engine Block Sensor Specialist")
    (establish-reject= (judge EngineBlockSensorSummary))
    (classifier= AutoMechSystem)
    (super-specialists= ChokeSensors)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; EngineBlockSensor Summary
;;
(define-recognition-agent EngineBlockSensorSummary
        match-1-recognition-agent
  (display-name= "Engine Block Sensor Summary")
  (features=
    (ask autorec "Does the choke unload?")
    (ask autorec "Does the choke unload too quickly?")
    (ask autorec "Is the choke's engine block sensor bad?"))
  (patterns= (( no ? ? )=> very-unlikely)
              (( yes yes yes )=> very-likely)
              (( yes yes ? )=> likely)
              (( neutral neutral neutral )=> neutral))
  (no-match-confidence= unlikely)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Vacuum Unloader Specialist
;;
(define-classification-specialist VacuumUnloader
    (display-name= "Vacuum Unloader Specialist")
    (establish-reject= (judge VacuumUnloaderSummary))
    (classifier= AutoMechSystem)
    (super-specialists= ChokeSensors)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; VacuumUnloader Summary
;;
(define-recognition-agent VacuumUnloaderSummary
         match-1-recognition-agent
  (display-name= "Vacuum Unloader Summary")
  (features= 
  (ask autorec 
     "Does the choke plate Open slightly when the engine is started?"))
  (patterns= (( yes )=> very-unlikely)
              (( no )=> very-likely))
  (no-match-confidence= neutral)
  (creation-date= "July 27, 1988")
  (author= "Dennis Humphreys"))

;; Valve Closed Specialist
;;
(define-classification-specialist ValveClosed
    (display-name= "Valve Closed Specialist")
    (establish-reject= (judge Closed))
    (classifier= AutoMechSystem)
    (super-specialists= CarbReservoir)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Valve Open Specialist
;;
(define-classification-specialist ValveOpen
    (display-name= "Valve Open Specialist")
    (establish-reject= (judge Open))
    (classifier= AutoMechSystem)
    (super-specialists= CarbReservoir)
    (creation-date= "5 July 1988")
    (last-modification-date= "5 July 1988") 		
    (author= "John D. McElroy"))

;; Autorec
;; Stub IDB for caching user responses
(define-idb autorec stub-idb
   (creation-date= "9 july 1988")
   (last-modification-date= "9 july 1988")   
   (author= "Franz Weckesser"))