Three female swimmers in swim caps and goggles are lined up in a pool with their arms outstretched.
The three female swimmers are in the olympics.
Not all swimmers are in the olympics.
exists e1 e2 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8.(with(e1,x7) & Theme(e2,x8) & v_outstretch(e2) & (x7 = x8) & n_arm(x7) & of(x7,x1) & n_thing(x1) & in(e1,x6) & n_pool(x6) & a_up(s2) & Manner(e1,s2) & Theme(e1,x1) & v_line(e1) & in(x1,x2) & subset_of(x5,x2) & n_goggles(x5) & subset_of(x3,x2) & n_cap(x3) & of(x3,x4) & n_swim(x4) & n_swimmer(x1) & a_female(s1) & Theme(s1,x1) & card_eq_3(x1))
exists p1 s1 x1 x2.(n_olympics(x2) & n_swimmer(x1) & a_female(s1) & Theme(s1,x1) & card_eq_3(x1) & in(x1,x2))