A group of people relaxing at the base of some rocks next to a clear body of water, where one person is swimming.
all the people outside are swimming in water
Either only one person is swimming or all the people in the photo are swimming; both cannot be true.
exists e1 p1 s1 x1 x2 x3 x4 x5 x6 x7 x8.(n_base(x4) & a_topic(x1) & of(x1,x2) & at(e1,x4) & to(x6,x7) & exists p2 x9.(exists x10.((x9 = x10) & n_swimming(x10)) & n_person(x9) & card_eq_1(x9)) & where(x7,p1) & of(x7,x8) & n_water(x8) & n_body(x7) & a_clear(s1) & Theme(s1,x7) & next(x4,x6) & n_thing(x6) & of(x4,x5) & n_rock(x5) & Actor(e1,x3) & v_relax(e1) & (x2 = x3) & n_people(x2) & n_group(x1))
exists x2.(n_people(x2) & all x1.((x1 = x2) -> exists e1 s1 x3 x4.(in(e1,x4) & n_water(x4) & Actor(e1,x1) & v_swim(e1) & Theme(s1,x3) & a_outside(s1) & (x1 = x3))))