(define (domain random-domain-fe)
  (:requirements :strips)
  (:action op1
    :parameters (?x1 ?x2 ?x3)
    :precondition (and (R ?x3 ?x1) (S ?x2 ?x2))
    :effect (and (R ?x1 ?x3) (S ?x3 ?x1) (not (R ?x3 ?x1)) (not (S ?x2 ?x2))))
  (:action op2
    :parameters (?x1 ?x2 ?x3)
    :precondition (and (R ?x1 ?x2) (S ?x2 ?x1) (R ?x2 ?x3))
    :effect (and (R ?x2 ?x2) (S ?x1 ?x2) (not (S ?x2 ?x1)))))