A child running on the sidewalk.
The car sped down the street.
ERROR. The child could be running on the sidewalk when the car sped down the street.
exists e1 x1 x2 x3.(n_sidewalk(x3) & a_topic(x1) & on(e1,x3) & Actor(e1,x2) & v_run(e1) & (x1 = x2) & n_child(x1))
exists e1 x1 x2.(n_street(x2) & n_car(x1) & down(e1,x2) & Actor(e1,x1) & v_speed(e1))