Three men are working outside in the sun.
The men are splashing in the rain puddles.
Working is not splashing, and rain puddles and sun don't go together.
exists e1 s1 x1 x2.(n_sun(x2) & in(e1,x2) & a_outside(s1) & Manner(e1,s1) & Actor(e1,x1) & v_work(e1) & n_man(x1) & card_eq_3(x1))
exists e1 x1 x2 x3.(n_puddle(x2) & of(x2,x3) & n_rain(x3) & n_man(x1) & in(e1,x2) & Actor(e1,x1) & v_splash(e1))