lot of pigeons roaming on the street enjoying the sun.
the birds ran into the street to eat
Pigeons enjoying the sun on the street are not assumed to be there to eat.  Pigeons roaming are not assumed to have ran.
exists e1 e2 x1 x2 x3 x4 x5.(n_sun(x5) & n_street(x4) & a_topic(x1) & of(x1,x2) & for(e1,e2) & Theme(e2,x5) & Actor(e2,x3) & v_enjoy(e2) & on(e1,x4) & Actor(e1,x3) & v_roam(e1) & (x2 = x3) & n_pigeon(x2) & n_lot(x1))
exists e1 p1 x1 x2.(n_street(x2) & n_bird(x1) & Topic(e1,p1) & exists e2.(Actor(e2,x1) & v_eat(e2)) & into(e1,x2) & Actor(e1,x1) & v_run(e1))