Three men on horses, one of them with his legs up in the air is being bucked off his horse.
The men are on cars.
horses is contradictory to cars
exists e1 x1 x2 x3 x4 x5 x6.(n_air(x5) & off(e1,x6) & n_horse(x6) & of(x6,x2) & n_male(x2) & n_male(x2) & Theme(e1,x1) & v_buck(e1) & with(x1,x4) & n_up(x4) & in(x4,x5) & n_leg(x4) & of(x4,x2) & on(x1,x2) & rel(x2,x3) & of(x3,x1) & n_thing(x1) & n_thing(x3) & card_eq_1(x3) & n_horse(x2) & n_man(x1) & card_eq_3(x1))
exists p1 x1.(n_man(x1) & exists x2.(on(x1,x2) & n_car(x2)))