Two young boys run by the edge of the water.
Two boys are at the park
Two boys can't run by the edge of the water and be at the park at the same time.
exists e1 s1 x1 x2 x3.(n_water(x3) & n_edge(x2) & Actor(e1,x2) & of(x2,x3) & Theme(e1,x1) & v_run(e1) & n_boy(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))
exists p1 x1 x2.(n_park(x2) & at(x1,x2) & n_boy(x1) & card_eq_2(x1))