One boy tucks his shirt in but the others do not.
Everyone tucked in their shirts.
One boy is exactly 1, while everyone can mean any number from 1 to infinity.
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))
all x2 x1.((n_shirt(x2) & of(x2,x1) & n_thing(x1) & n_person(x1)) -> exists e1.(in(e1,x2) & Theme(e1,x1) & v_tuck(e1)))