The Roman colosseum on a sunny day with tourists around.
Tourists are in Rome.
The roman colosseum is in Rome and the fact that the tourists around the roman colosseum implies they are in Rome.
exists s1 x1 x2 x3 x4.(n_colosseum(x1) & (x1 = x2) & ne_per_roman(x2) & a_topic(x1) & on(x1,x3) & with(x3,x4) & r_around(x4) & n_tourist(x4) & n_day(x3) & a_sunny(s1) & Theme(s1,x3))
exists p1 x1 x2.(ne_geo_rome(x2) & in(x1,x2) & n_tourist(x1))