Cities need to be replaced with a new idea such as a super sized mall type building with no need for travel or cars.
The city has a mall.
Just because the opinion of sentence 1 is that super sized malls are a new idea that should be adopted does not mean that the unnamed city in sentence 2 actually has a mall.
exists e1 p1 x1.(ne_nam_cities(x1) & Topic(e1,p1) & Actor(e1,x1) & v_need(e1) & exists e2 s1 x2.((exists s2 s3 x3 x4 x5.(-exists x6 x7.(with(e2,x2) & n_such(x2) & as(x2,x3) & with(x3,x6) & for(x6,x7) & n_travel(x7) & n_need(x6)) & n_building(x3) & of(x3,x5) & n_type(x5) & of(x3,x4) & n_mall(x4) & a_sized(s3) & Theme(s3,x3) & a_super(s2) & Theme(s2,x3)) | exists x8.(with(e2,x2) & n_such(x2) & as(x2,x8) & n_car(x8))) & n_idea(x2) & a_new(s1) & Theme(s1,x2) & Theme(e2,x1) & v_replace(e2)))
exists e1 x1 x2.(n_city(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_mall(x2))