A gymnast wearing a black leotard is flying through the air.
The gymnast is moving.
The gymnast is "flying through the air" they must be moving as the action of "flying" implies that there is movement of some kind.
exists e2 e1 s1 x1 x2 x3 x4.(n_air(x4) & through(e2,x4) & Actor(e2,x1) & v_fly(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_leotard(x3) & a_black(s1) & Theme(s1,x3) & (x1 = x2) & n_gymnast(x1))
exists e1 x1.(n_gymnast(x1) & Actor(e1,x1) & v_move(e1))