Runners sprint down the street hoping to be first.
The runners are racing each other.
When runners are racing they are hoping to be first.
exists e2 e1 p1 x1 x2.(n_street(x2) & for(e1,e2) & Topic(e2,p1) & Actor(e2,x1) & v_hope(e2) & exists s1.(Theme(s1,x1) & a_first(s1)) & down(e1,x2) & Actor(e1,x1) & v_sprint(e1) & n_runner(x1))
exists x1.(n_runner(x1) & all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_race(e1))))