Two climbers attempting to climb a steep, snow-covered peak, nearing the top, where two other climbers await them.
The men are going to be the first to finally climb to the summit of this mountain.
Two climbers nearing the top does not imply  they will be the first to climb the summit.
exists e2 e1 p1 p2 x1 x2 x3.(n_top(x3) & Theme(e2,x3) & Actor(e2,x1) & v_near(e2) & exists e4 x6.(Theme(e4,x1) & Actor(e4,x6) & v_await(e4) & -(x6 = x1) & n_climber(x6) & card_eq_2(x6)) & n_thing(x1) & n_climber(x1) & n_climber(x1) & where(x3,p2) & Topic(e1,p1) & Actor(e1,x2) & v_attempt(e1) & exists e3 s1 s2 x4 x5.(Theme(e3,x4) & Actor(e3,x2) & v_climb(e3) & n_peak(x4) & a_snow-covered(s2) & Theme(s2,x4) & a_,(s1) & Theme(s1,x4) & of(x4,x5) & n_steep(x5)) & (x1 = x2) & card_eq_2(x1))
exists e1 p1 x1 x2 x3 x4.(n_mountain(x4) & n_summit(x3) & n_first(x2) & n_man(x1) & Topic(e1,p1) & Actor(e1,x1) & v_go(e1) & exists p2 p3 s1.((x1 = x2) & Topic(x2,p3) & a_finally(s1) & Manner(p3,s1) & exists e2.(to(e2,x3) & of(x3,x4) & Actor(e2,x2) & v_climb(e2))))