Runner 3618 is racing down the street.
The runner is sitting on the corner.
If the runner is racing down street, they are not sitting in the corner.
exists e1 s1 x1 x2.(n_street(x2) & ne_tim_runner(x1) & card_eq_3618(x1) & a_down(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_race(e1))
exists e1 x1 x2.(n_corner(x2) & n_runner(x1) & on(e1,x2) & Actor(e1,x1) & v_sit(e1))