(define (domain sand-castle)
  
  (:requirements :conditional-effects :probabilistic-effects :rewards :negative-preconditions)
  
  (:predicates (moat) (castle))
  
  (:action dig-moat
           :effect (when (not (moat))
                          (probabilistic 0.5 (moat))))

  (:action erect-castle
           :effect (and (when (and (castle) 
                                   (moat)
                              )
                              (probabilistic
                               0.25 (not (moat))
                              )
                        )
                        (when (not (castle))
                              (and (when (moat)
                                         (probabilistic
                                          0.335 (and (castle) (moat))
							0.335 (and (castle) (not (moat)))
							0.165 (and (not (castle)) (moat))
							0.165 (and (castle) (not (moat)))
                                         )
                                   )
                                   (when (not (moat))
                                         (probabilistic
                                          0.25 (castle)
                                         )
                                   )
                              )
                        )
                    )
  )
)

(define (problem sand-castle)
  (:domain sand-castle)
  (:goal (castle))
)