Two women jog down the street.
The women are swimming in the middle of the ocean.
One cannot be swimming and jog at the same time.
exists e1 x1 x2 x3.(n_street(x3) & a_topic(x1) & down(e1,x3) & Actor(e1,x2) & v_jog(e1) & (x1 = x2) & n_woman(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_ocean(x3) & n_middle(x2) & n_woman(x1) & in(e1,x2) & of(x2,x3) & Actor(e1,x1) & v_swim(e1))