A lady is viewing a city sky-line.
A lady is viewing the NYC skyline.
NYC is one specific city out of many, and one cannot infer NYC from simply the word "city."
exists e1 x1 x2 x3.(Theme(e1,x2) & Actor(e1,x1) & v_view(e1) & n_sky-line(x2) & of(x2,x3) & n_city(x3) & n_lady(x1))
exists e1 x1 x2 x3.(n_skyline(x2) & (x2 = x3) & ne_org_nyc(x3) & Theme(e1,x2) & Actor(e1,x1) & v_view(e1) & n_lady(x1))