Runners sprint down the street hoping to be first.
The runners are having fun.
Runners sprinting down the street does not mean they are having fun.
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 e1 x1 x2.(n_runner(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_fun(x2))