City working performing maintenance on public transportation.
There is no public transportation in this city.
EIther the city is performing maintenance or their is no transportation, but not both
exists e2 e1 s1 x1 x2 x3.(ne_geo_city(x1) & for(e1,e2) & Theme(e2,x2) & Actor(e2,x1) & v_perform(e2) & on(x2,x3) & n_transportation(x3) & a_public(s1) & Theme(s1,x3) & n_maintenance(x2) & Actor(e1,x1) & v_work(e1))
exists p1 x1 x3.(n_city(x3) & -exists s1 x2.((x1 = x2) & in(x2,x3) & n_transportation(x2) & a_public(s1) & Theme(s1,x2)))