a person is walking down an alley lined with trees
The person is running.
The person cannot be walking and running at the same time.
exists e1 e2 s1 x1 x2 x3 x4.(a_down(s1) & Manner(e2,s1) & Theme(e2,x2) & Actor(e2,x1) & v_walk(e2) & with(e1,x4) & n_tree(x4) & Theme(e1,x3) & v_line(e1) & (x2 = x3) & n_alley(x2) & n_person(x1))
exists e1 x1.(n_person(x1) & Actor(e1,x1) & v_run(e1))