Two young boys playing lacrosse run for the lacrosse ball.
the boys are sitting under the ocean
playing requires movement, sitting requires being still, therefore cannot be both still and moving at same time, so the states are contradictory
exists e1 s1 x1 x2 x3 x4 x5.(a_topic(x1) & for(e1,x5) & n_ball(x5) & of(x5,x4) & n_lacrosse(x4) & n_lacrosse(x4) & Theme(e1,x3) & Actor(e1,x2) & v_play(e1) & n_run(x3) & of(x3,x4) & (x1 = x2) & n_boy(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 x1 x2.(n_ocean(x2) & n_boy(x1) & under(e1,x2) & Actor(e1,x1) & v_sit(e1))