There are two carts being driven by mules, each carrying some crops and people.
The mules are in the pasture resting.
If the carts are being driven by the mules, the mules are not resting.
exists p1 x1 e1 x2 x3 x4 x5 x6.((x1 = x2) & Actor(e1,x4) & rel(x4,x5) & subset_of(x6,x5) & n_people(x6) & all x7.(n_thing(x7) -> exists e2 x8 x9.(subset_of(x7,x5) & Theme(e2,x9) & Actor(e2,x8) & v_carry(e2) & n_crop(x9) & (x7 = x8))) & n_mule(x4) & Theme(e1,x3) & v_drive(e1) & (x2 = x3) & n_cart(x2) & card_eq_2(x2))
exists p1 x1 x2.(n_pasture(x2) & n_mule(x1) & exists e1 x3.(in(x1,x2) & Actor(e1,x3) & v_rest(e1) & (x2 = x3)))