Four men with excited faces are jumping down from the top of stairs.
The men are using stairs.
jumping down from the top is type of using stairs
exists e1 s1 s2 x1 x2 x3 x4.(n_top(x3) & from(e1,x3) & of(x3,x4) & n_stair(x4) & a_down(s2) & Manner(e1,s2) & Actor(e1,x1) & v_jump(e1) & with(x1,x2) & n_face(x2) & a_excited(s1) & Theme(s1,x2) & n_man(x1) & card_eq_4(x1))
exists e1 x1 x2.(n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_use(e1) & n_stair(x2))