A sumo wrestler in black begins to push another in blue out of the ring.
The wrestler in black is winning the match.
the sumo wrestler pushing another does not imply he is winning the match.
exists e1 p1 s1 x1 x2 x3 x6.(n_ring(x6) & Topic(e1,p1) & Actor(e1,x1) & v_begin(e1) & exists e2 s2 x4 x5.(in(e2,x5) & of(x5,x6) & n_out(x5) & a_blue(s2) & Theme(s2,x5) & Theme(e2,x4) & Actor(e2,x1) & v_push(e2) & n_thing(x4)) & Theme(s1,x3) & a_black(s1) & (x1 = x3) & n_wrestler(x1) & of(x1,x2) & n_sumo(x2))
exists e1 x1 x2 x3.(n_match(x3) & n_wrestler(x1) & Theme(e1,x3) & Actor(e1,x1) & v_win(e1) & in(x1,x2) & n_black(x2))