Eight women runner coming around the inside curve of a track at a track meet.
some women running for first place at the olympics
Just because eight women runner coming around the curve does not mean they are running for first place. The Olympics is not the same as a track meet.
exists e1 e2 s1 x1 x2 x3 x4 x5 x6.(n_curve(x4) & a_inside(s1) & Theme(s1,x4) & Actor(e2,x1) & v_meet(e2) & at(e1,x6) & n_track(x6) & around(e1,x4) & of(x4,x5) & n_track(x5) & Actor(e1,x3) & v_come(e1) & (x1 = x3) & n_runner(x1) & of(x1,x2) & n_woman(x2) & card_eq_8(x1))
exists e1 s1 x1 x2 x3 x4.(n_olympics(x4) & a_topic(x1) & at(e1,x4) & for(e1,x3) & n_place(x3) & a_first(s1) & Theme(s1,x3) & Actor(e1,x2) & v_run(e1) & (x1 = x2) & n_woman(x1))