A young man in a red striped shirt and blue jeans is bowling with a blue ball at a bowling alley.
A man just knocked down all the pins at the bowling alley.
Just because man is bowling doesn't imply man just knocked down all the pins at the bowling alley.
exists e1 s1 s2 s3 s4 s5 x1 x2 x3 x4 x5 x6 x7.(at(e1,x6) & n_alley(x6) & of(x6,x7) & n_bowling(x7) & with(e1,x5) & n_ball(x5) & a_blue(s5) & Theme(s5,x5) & Actor(e1,x1) & v_bowl(e1) & in(x1,x2) & subset_of(x4,x2) & n_jeans(x4) & a_blue(s4) & Theme(s4,x4) & subset_of(x3,x2) & n_shirt(x3) & a_striped(s3) & Theme(s3,x3) & a_red(s2) & Theme(s2,x3) & n_man(x1) & a_young(s1) & Theme(s1,x1))
exists x1 x3 x4 x5.(n_alley(x4) & of(x4,x5) & n_bowling(x5) & n_pin(x3) & all x2.((x2 = x3) -> exists e1 s1 s2.(a_just(s2) & Manner(e1,s2) & a_down(s1) & Manner(e1,s1) & at(e1,x4) & Theme(e1,x2) & Actor(e1,x1) & v_knock(e1))) & n_man(x1))