two girls in white dresses standing by large horses.
The girls wearing the white dresses waved to the large horses.
two girls in white dresses standing by large horses does not imply they waved to the large horses.
exists e1 s1 s2 x1 x2 x3 x4.(a_topic(x1) & in(x1,x2) & by(e1,x4) & n_horse(x4) & a_large(s2) & Theme(s2,x4) & Actor(e1,x3) & v_stand(e1) & (x2 = x3) & n_dress(x2) & a_white(s1) & Theme(s1,x2) & n_girl(x1) & card_eq_2(x1))
exists e2 e1 s1 s2 x1 x2 x3 x4.(n_horse(x4) & a_large(s2) & Theme(s2,x4) & n_dress(x3) & a_white(s1) & Theme(s1,x3) & n_girl(x1) & to(e2,x4) & Actor(e2,x1) & v_wave(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & (x1 = x2))