Two men on horses look on as another man is bucked off the back of his horse.
Two men on horses look on as another man is bucked off the back of his red horse.
Two men on horses look on as another man is bucked off the back of his horse does not imply that he has red horse
exists e1 e2 x1 x2 x3 x4 x5 x6.(n_back(x5) & r_on(e1) & as(e1,x3) & off(e2,x5) & of(x5,x6) & n_horse(x6) & of(x6,x2) & n_male(x2) & Theme(e2,x4) & v_buck(e2) & (x3 = x4) & n_man(x3) & -(x3 = x1) & n_man(x1) & n_man(x1) & Actor(e1,x1) & v_look(e1) & on(x1,x2) & n_horse(x2) & card_eq_2(x1))
exists e1 e2 s1 x1 x2 x3 x4 x5 x6.(n_back(x5) & r_on(e1) & as(e1,x3) & off(e2,x5) & of(x5,x6) & n_horse(x6) & a_red(s1) & Theme(s1,x6) & of(x6,x2) & n_male(x2) & Theme(e2,x4) & v_buck(e2) & (x3 = x4) & n_man(x3) & -(x3 = x1) & n_man(x1) & n_man(x1) & Actor(e1,x1) & v_look(e1) & on(x1,x2) & n_horse(x2) & card_eq_2(x1))