Three men stand on the podium while four other men stand along with them as part of the awards ceremony.
The award ceremony is halfway over
just because three men stand on the podium doesn't mean the award ceremony is halfway over
exists e1 p1 x1 x2 x5 x6.(n_ceremony(x5) & of(x5,x6) & n_award(x6) & n_thing(x2) & n_podium(x2) & exists e2 x3 x4.(as(e2,x4) & of(x4,x5) & n_part(x4) & with(e2,x2) & r_along(e2) & Actor(e2,x3) & v_stand(e2) & -(x3 = x1) & n_man(x3) & card_eq_4(x3)) & n_man(x1) & n_man(x1) & while(e1,p1) & on(e1,x2) & Actor(e1,x1) & v_stand(e1) & card_eq_3(x1))
exists p1 s1 x1 x2.(n_award(x1) & a_over(s1) & Manner(p1,s1) & exists x3.((x1 = x3) & n_halfway(x3)) & Time(x1,x2) & n_ceremony(x2))