Four people and the sun.
There are people with the sun out.
people with sun out can also be said as there are four people and sun
exists s1 x1 x2.(n_sun(x2) & a_topic(s1) & subset_of(x2,s1) & subset_of(x1,s1) & n_people(x1) & card_eq_4(x1))
exists p1 s1 x1 x3.(n_sun(x3) & a_out(s1) & Manner(p1,s1) & exists x2.((x1 = x2) & with(x2,x3) & n_people(x2)))