7.gfx
; *************************************************************************

(define (domain crimewaveWorld)
  (:requirements :strips :equality :typing :conditional-effects)

  (:types  valuable_item trigger system guard burglar)


  (:predicates
    (protected ?valuable_item1 - valuable_item)
    (protected_by ?valuable_item1 - valuable_item ?trigger1 - trigger)
    (triggered ?valuable_item1 - valuable_item)
    (not_protected ?valuable_item1 - valuable_item)
    (gone ?valuable_item1 - valuable_ite