A person in swimming trunks who has used a rope swing to jump into a lake.
A person in swimming trunks wishes he was at the lake, but its thunderstorming
If the person wishes they were at the lake, they must not be at the lake about to do a jump into it. You don't go to the lake when it's thunderstorming
exists e1 p1 x1 x2 x3 x4 x5 x6 x7.(a_topic(x1) & in(x1,x2) & Topic(e1,p1) & exists e2 x8.(into(e2,x8) & n_lake(x8) & Actor(e2,x4) & v_jump(e2)) & Theme(e1,x6) & Actor(e1,x5) & v_use(e1) & n_swing(x6) & of(x6,x7) & n_rope(x7) & (x2 = x5) & (x2 = x4) & n_trunk(x2) & of(x2,x3) & n_swimming(x3) & n_person(x1))
exists e1 p1 x1 x2 x3 x5 x6.(n_thunderstorming(x6) & of(x6,x5) & n_thing(x5) & n_lake(x5) & exists p2 x4.(at(x1,x4) & subset_of(x6,x4) & subset_of(x5,x4)) & n_male(x1) & Topic(e1,p1) & Actor(e1,x1) & v_wish(e1) & in(x1,x2) & n_trunk(x2) & of(x2,x3) & n_swimming(x3) & n_person(x1))