A man is on his mountain bike flying in the air.
All of the mountain bikers are at the end of the track.
Man flying in the air cannot be at the end of the track since he is still in motion.
exists p1 x1 x2 x3 x5.(n_air(x5) & exists e1 x4.(on(x1,x2) & in(e1,x5) & Actor(e1,x4) & v_fly(e1) & (x2 = x4)) & n_bike(x2) & of(x2,x3) & n_mountain(x3) & of(x2,x1) & n_male(x1) & n_man(x1))
exists x2 x3 x4 x5.(n_track(x5) & n_end(x4) & n_biker(x2) & of(x2,x3) & n_mountain(x3) & all x1.(n_thing(x1) -> exists p1.(at(x1,x4) & of(x4,x5) & of(x1,x2))))