Red Chinese lanterns and banners in Chinese overhang a busy street scene.
A busy street in China.
A Chinese busy street scene is the same as a busy street in China.
exists s1 x1 x2 x3.(a_topic(s1) & all x4 x5 s2.((n_scene(x4) & of(x4,x5) & n_street(x5) & a_busy(s2) & Theme(s2,x4)) -> exists s3 x6 x7.(subset_of(x6,s1) & for(x6,x4) & in(x6,x7) & n_overhang(x7) & a_chinese(s3) & Theme(s3,x7) & n_banner(x6))) & subset_of(x1,s1) & n_lantern(x1) & (x1 = x3) & ne_org_chinese(x3) & (x1 = x2) & ne_org_red(x2))
exists s1 x1 x2.(ne_geo_china(x2) & a_topic(x1) & in(x1,x2) & n_street(x1) & a_busy(s1) & Theme(s1,x1))