A crowded street in Italy.
A lonely street in another country.
A lonely street would not have many people and thus not be crowded.
exists s1 x1 x2.(ne_geo_italy(x2) & a_topic(x1) & in(x1,x2) & n_street(x1) & a_crowded(s1) & Theme(s1,x1))
exists s1 x1 x2 x3.(n_country(x2) & a_topic(x1) & in(x1,x3) & n_country(x3) & -(x3 = x2) & n_street(x1) & a_lonely(s1) & Theme(s1,x1))