A dog is jumping down the stairs.
The dog is jumping on two feet.
The dog could be jumping on any number of feet not necessarily two feet.
exists e1 s1 x1 x2.(n_stair(x2) & a_down(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_jump(e1) & n_dog(x1))
exists e1 x1 x2.(n_dog(x1) & on(e1,x2) & n_foot(x2) & card_eq_2(x2) & Actor(e1,x1) & v_jump(e1))