Two boys are splashing around in the ocean.
two boys are wearing life jackets
Boys in the ocean does not imply the boys are wearing life jackets.
exists e1 p1 x1 x2.(n_ocean(x2) & in(e1,x2) & exists s1.(Theme(s1,x1) & a_around(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_splash(e1) & n_boy(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_jacket(x2) & of(x2,x3) & n_life(x3) & n_boy(x1) & card_eq_2(x1))