Two boys in black swimming trunks are holding another boy by his arms and legs on a beach.
A boy is not happy abut having his arms and legs held by his friends.
Two boys holding another boy by his arms and legs does not necessarily imply the boy is not happy.
exists e1 s1 x1 x2 x3 x4 x5 x6 x7 x8.(on(e1,x8) & n_beach(x8) & by(e1,x5) & n_leg(x7) & n_arm(x6) & subset_of(x7,x5) & subset_of(x6,x5) & of(x5,x2) & n_male(x2) & Theme(e1,x4) & Actor(e1,x1) & v_hold(e1) & n_boy(x4) & -(x4 = x1) & n_boy(x1) & n_boy(x1) & in(x1,x2) & n_trunk(x2) & of(x2,x3) & n_swimming(x3) & a_black(s1) & Theme(s1,x2) & card_eq_2(x1))
exists x1 x4 x5 x6 x8.(-exists p1 e2 e1 s1 x1 x2 x3 x7.((x1 = x2) & Theme(e2,x4) & Actor(e2,x3) & v_have(e2) & Actor(e1,x8) & n_male(x1) & Theme(e1,x7) & v_hold(e1) & (x4 = x7) & (x2 = x3) & n_abut(x2) & a_happy(s1) & Theme(s1,x2)) & n_friend(x8) & of(x8,x1) & n_leg(x6) & n_arm(x5) & subset_of(x6,x4) & subset_of(x5,x4) & of(x4,x1) & n_male(x1) & n_boy(x1))