One wrestler walks away from a wrestler curled up on the floor as a referee looks on.
There are two men standing and one man on the floor.
The wrestler walks away so he must be standing.
exists e1 e2 p1 s1 x1 x2 x3 x4.(n_floor(x4) & from(e1,x2) & exists e3 p2 x5.(exists s2.(Theme(s2,x5) & a_on(s2)) & Topic(e3,p2) & Actor(e3,x5) & v_look(e3) & n_referee(x5)) & as(e2,p1) & on(e2,x4) & a_up(s1) & Manner(e2,s1) & Theme(e2,x3) & v_curl(e2) & (x2 = x3) & n_wrestler(x2) & r_away(e1) & Actor(e1,x1) & v_walk(e1) & n_wrestler(x1) & card_eq_1(x1))
exists p1 x1 x6.(n_floor(x6) & exists e1 x2 x3 x4 x5.((x1 = x2) & subset_of(x5,x2) & on(x5,x6) & n_man(x5) & card_eq_1(x5) & subset_of(x3,x2) & Actor(e1,x4) & v_stand(e1) & (x3 = x4) & n_man(x3) & card_eq_2(x3)))