Two children jump off the dock into the lake.
The children are in class.
The children are either in class, or they are at the lake.
exists e1 s1 x1 x2 x3.(n_lake(x3) & n_dock(x2) & into(e1,x3) & Time(e1,x2) & a_off(s1) & Manner(e1,s1) & Actor(e1,x1) & v_jump(e1) & n_child(x1) & card_eq_2(x1))
exists p1 x1.(n_child(x1) & exists x2.(in(x1,x2) & n_class(x2)))