(define (domain domain1)
  (:requirements :negative-preconditions
                 :conditional-effects
                 :probabilistic-effects
                 :disjunctive-preconditions)
  (:predicates (pred1) (pred2) (pred3) (pred4))
  (:action action1
   :effect (and (when (pred1)
                      (probabilistic 0.95 (pred2)))
                (when (not (pred1))
                      (probabilistic 0.5 (pred2)))))
  (:action action2
   :effect (probabilistic 0.8 (pred1)))
  (:action action3
   :effect (and (pred3)
                (when (not (pred2))
                      (probabilistic 0.1 (not (pred4))))
                (when (pred2)
                      (not (pred4))))))

(define (problem problem1)
  (:domain domain1)
  (:init (pred4)
	 (probabilistic 0.7 (pred1)))
  (:goal (and (pred4) (pred2) (pred3))))