Shaft of light in a cave shows three spelunkers
Three spelunkers prepare to enter a cave.
If the spelunkers prepare to enter, then they can not be in a cave.
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 e1 p1 x1.(Topic(e1,p1) & Actor(e1,x1) & v_prepare(e1) & exists e2 x2.(Theme(e2,x2) & Actor(e2,x1) & v_enter(e2) & n_cave(x2)) & n_spelunker(x1) & card_eq_3(x1))