A group of nine people viewing a city, from an observation point, while some take pictures.
The people are tourists excited to see the city.
Not all people are tourists or excited people.
exists e1 p1 x1 x2 x3 x4 x5 x6.(a_topic(x1) & of(x1,x2) & exists e2 x7 x8.(Theme(e2,x8) & Actor(e2,x7) & v_take(e2) & n_picture(x8) & n_thing(x7)) & while(e1,p1) & from(e1,x5) & n_point(x5) & of(x5,x6) & n_observation(x6) & Theme(e1,x4) & Actor(e1,x3) & v_view(e1) & n_city(x4) & (x2 = x3) & n_people(x2) & card_eq_9(x2) & n_group(x1))
exists p1 x1 x4.(n_city(x4) & n_people(x1) & exists p2 s1 x2 x3.((x1 = x2) & Topic(s1,p2) & Actor(s1,x3) & a_excited(s1) & exists e1.(Theme(e1,x4) & Actor(e1,x3) & v_see(e1)) & (x2 = x3) & n_tourist(x2)))