A man throws the bowling ball to knock down the last pin.
The man is bowling.
The way to bowl is by throwing the bowling bawl to knock down the pins.
exists e1 p1 s1 x1 x2 x3 x4 x5.(n_pin(x5) & a_last(s1) & Theme(s1,x5) & n_ball(x3) & of(x3,x4) & n_bowling(x4) & Topic(e1,p1) & exists e2 s2.(a_down(s2) & Manner(e2,s2) & Theme(e2,x5) & Actor(e2,x1) & v_knock(e2)) & Theme(e1,x3) & Actor(e1,x2) & v_throw(e1) & n_man(x2) & n_man(x1))
exists e1 x1.(n_man(x1) & Actor(e1,x1) & v_bowl(e1))