three people staying out of the sun
Everybody is in the sun.
Everybody implies that every single last person is in the sun ,including the three people
exists e1 x1 x2 x3.(n_sun(x3) & a_topic(x1) & of(e1,x3) & r_out(e1) & Actor(e1,x2) & v_stay(e1) & (x1 = x2) & n_people(x1) & card_eq_3(x1))
exists x2.(n_sun(x2) & all x1.(n_person(x1) -> exists p1.in(x1,x2)))