lar ?TriggerA)
       )
       :effect (and 
            (not (expertise ?Burglar ?TriggerA))
            (expertise ?Burglar ?TriggerB)
        )
    )
  )
(define (problem task1)
   (:domain crimewaveWorld)
   (:objects
         diamond gold artifact fave_dvd - valuable_item
         pressure_pad motion_detector trip_wire laser_chamber hypno_toad none - trigger
         shop_alarm - system
         bert fred - guard
         tom dick harry - burglar
        )
    (:init
        (active shop_alarm)
       