One boy tucks his shirt in but the others do not.
Some boys tuck in their shirts
Some of the boys tuck in their shirts where others do not.
exists e1 x1 x2 x3.(-exists e2 x4.(Theme(e2,x4) & Actor(e2,x2) & v_do(e2) & n_thing(x4)) & -(x2 = x1) & n_person(x1) & n_person(x2) & Theme(e1,x3) & Actor(e1,x1) & v_tuck(e1) & in(x3,x2) & n_thing(x2) & n_shirt(x3) & of(x3,x2) & n_male(x2) & n_boy(x1) & card_eq_1(x1))
exists e1 x1 x2.(in(e1,x2) & n_shirt(x2) & of(x2,x1) & n_thing(x1) & Actor(e1,x1) & v_tuck(e1) & n_boy(x1))