Shaft of light in a cave shows three spelunkers
The three spelunkers are view by a rescue team shinning their flash lights into a cave.
All shafts of light are not flash lights.  Not all spelunkers need to be rescued.
exists e1 x1 x2 x3 x4.(ne_nam_shaft(x1) & Theme(e1,x4) & Actor(e1,x1) & v_show(e1) & n_spelunker(x4) & card_eq_3(x4) & of(x1,x2) & in(x2,x3) & n_cave(x3) & n_light(x2))
exists p1 x1 x6 x7.(n_light(x6) & of(x6,x7) & n_flash(x7) & of(x6,x1) & n_thing(x1) & n_spelunker(x1) & card_eq_3(x1) & exists e1 x2 x3 x4 x5 x8.((x1 = x2) & by(x2,x3) & into(e1,x8) & n_cave(x8) & Theme(e1,x6) & Actor(e1,x5) & v_shin(e1) & (x3 = x5) & n_team(x3) & of(x3,x4) & n_rescue(x4) & n_view(x2)))