;; Test the SERVICE field of the ULN.  one-of is a "case" or "switch"
;; statement
(one-of service
  ;; If SERVICE = "A"
  ("A"
   (add-feature (service army))
   (one-of utc
     ;; If UTC begins with an A...
     ("A%" (add-feature (function army-task-organization)))
     ("C%" (add-feature (function dod-agencies-and-HQs)))
     ("D%" (add-feature (function civil-govt-entities)))
     ("F%" (add-feature (function biomedical-sciences)))
     ("G%" (add-feature (function chemical-activities)))
     ...)
  )
  ;; If SERVICE = "F"
  ("F"
   (add-feature (service air-force))
   (one-of utc
     ("C%" (add-feature (function major-command-HQ)))
     ("F%" (add-feature (function medical-services)))
     ("H%" (add-feature (function maintenance)))
     ("J%" (add-feature (function supply-services)))
     ("K%" (add-feature (function research-and-development))
      (add-feature (function test-and-evaluation)))
     ("3%"
      ;; UTC begins with a 3.  We know it's mission aircraft.
      (add-feature (function mission-aircraft))
      (one-of utc
	("3F%"
	 (add-feature (aircraft-type tactical-fighter))
	 (one-of utc
	   ("3FA%" (add-feature (aircraft-type f117)))
	   ("3FD%" (add-feature (aircraft-type f15a)))
	   ("3FQ%" (add-feature (aircraft-type f15)))
	   ("3FK%" (add-feature (aircraft-type f16)))
           ...)
        )
        ...
      ))
      ...
   )
  )
)

(one-of dest-cc
  ("  " (add-feature (dest-cc UNSPECIFIED)))
  ("01" (add-feature (dest-cc ALABAMA)))
  ("02" (add-feature (dest-cc ALASKA)))
  ("04" (add-feature (dest-cc ARIZONA)))
  ("05" (add-feature (dest-cc ARKANSAS)))
  ("06" (add-feature (dest-cc CALIFORNIA)))
  ("08" (add-feature (dest-cc COLORADO)))
  ("09" (add-feature (dest-cc CONNECTICUT)))
  ("10" (add-feature (dest-cc DELAWARE)))
  ("11" (add-feature (dest-cc DISTRICT-OF-COLUMBIA)))
  ("12" (add-feature (dest-cc FLORIDA)))
  ("13" (add-feature (dest-cc GEORGIA)))
  ("15" (add-feature (dest-cc HAWAII)))
  ("16" (add-feature (dest-cc IDAHO)))
  ("17" (add-feature (dest-cc ILLINOIS)))
  ("18" (add-feature (dest-cc INDIANA)))
  ("19" (add-feature (dest-cc IOWA)))
  ("1A" (add-feature (dest-cc NORTH-ATLANTIC-OCEAN)))
  ("1B" (add-feature (dest-cc BAY-OF-BISCAY)))
  ("1C" (add-feature (dest-cc BRISTOL-CHANNEL)))
  ...
  )