One boy tucks his shirt in but the others do not.
All the boys have their shirts tucked in.
One boy is exactly 1, while All the boys 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))
exists x2 x3.(n_shirt(x3) & of(x3,x2) & n_thing(x2) & n_boy(x2) & all x1.((x1 = x2) -> exists e2 e1 s1 x4.(Theme(e2,x3) & Actor(e2,x1) & v_have(e2) & a_in(s1) & Manner(e1,s1) & Theme(e1,x4) & v_tuck(e1) & (x3 = x4))))