A city with historical buildings at a distance on each side of the street with people on the sidewalks looking on.
A city with historical buildings has people on the sidewalks being abducted by aliens.
People on the sidewalks being abducted by aliens are not simultaneously people on the sidewalks looking on.
exists s1 x1 x2 x3 x5 x7.(n_sidewalk(x7) & n_street(x5) & all x4.(n_side(x4) -> exists e1 s2 x6 x8.(a_topic(x1) & with(x1,x2) & at(x2,x3) & with(x3,x6) & a_on(s2) & Manner(e1,s2) & Actor(e1,x8) & v_look(e1) & (x6 = x8) & on(x6,x7) & n_people(x6) & on(x3,x4) & of(x4,x5))) & n_distance(x3) & n_building(x2) & a_historical(s1) & Theme(s1,x2) & n_city(x1))
exists e1 e2 s1 x1 x2 x3 x4 x5 x6.(n_sidewalk(x4) & Theme(e2,x3) & Actor(e2,x1) & v_have(e2) & Actor(e1,x6) & n_alien(x6) & Theme(e1,x5) & v_abduct(e1) & (x3 = x5) & on(x3,x4) & n_people(x3) & with(x1,x2) & n_building(x2) & a_historical(s1) & Theme(s1,x2) & n_city(x1))