ing_joint ?Burglar))
            (triggered ?Valuable_item)
            (caught ?Burglar)
        )
    )
  (:action reactivate
       :parameters ( ?Guard - guard ?System - system)
       :precondition (and 
            (working ?Guard ?System)
            (inactive ?System)
       )
       :effect (and 
            (not (inactive ?System))
            (active ?System)
            (forall (?Valuable_item - valuable_item)
              (when (and
                (triggered ?Valuable_item)
                (p