A child swims in a stream, whilst other children wait to jump off a rock.
A child swims in a stream
Even if other children are present, a child can still swim.
exists e1 p1 x1 x2.(in(e1,x2) & exists e2 p2 s1 x3.(Topic(e2,p2) & Actor(e2,x3) & v_wait(e2) & exists e3 s2 x4.(a_off(s2) & Manner(e3,s2) & Theme(e3,x4) & Actor(e3,x3) & v_jump(e3) & n_rock(x4)) & -(x3 = x1) & n_child(x3) & a_whilst(s1) & Theme(s1,x3)) & n_child(x1) & n_child(x1) & that(x2,p1) & n_stream(x2) & Actor(e1,x1) & v_swim(e1))
exists e1 x1 x2.(in(e1,x2) & n_stream(x2) & Actor(e1,x1) & v_swim(e1) & n_child(x1))