Two boys wearing orange life jackets with white dots, are sitting on what appears to be the deck of a boat
The two boys did not have life jackets on.
Boys wearing orange life jackets cannot not have life jackets on.
exists e1 e2 s1 s2 x1 x2 x3 x4 x5 x7.(n_deck(x7) & exists e3 p1 x6.(n_thing(x6) & on(e2,x6) & Topic(e3,p1) & Actor(e3,x6) & v_appear(e3) & exists p2 x8.((x6 = x7) & of(x7,x8) & n_boat(x8))) & Actor(e2,x1) & v_sit(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & with(x3,x5) & n_dot(x5) & a_white(s2) & Theme(s2,x5) & n_jacket(x3) & of(x3,x4) & n_life(x4) & a_orange(s1) & Theme(s1,x3) & (x1 = x2) & n_boy(x1) & card_eq_2(x1))
exists x1.(n_boy(x1) & card_eq_2(x1) & -exists e1 s1 x2 x3.(a_on(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_jacket(x2) & of(x2,x3) & n_life(x3)))