This is a view of time square in New York.
Several ads for plays are visible.
the view of time square does not imply several ads for plays are visible
exists p1 x1 x5 x6.(ne_geo_york(x5) & (x5 = x6) & ne_geo_new(x6) & n_thing(x1) & exists x2 x3 x4.((x1 = x2) & of(x2,x3) & in(x3,x5) & n_square(x3) & of(x3,x4) & n_time(x4) & n_view(x2)))
exists s1 s2 x1 x2.(Theme(s2,x1) & a_visible(s2) & for(x1,x2) & n_play(x2) & n_ad(x1) & a_several(s1) & Theme(s1,x1))