Four guys and one girl three guys are wearing short-sleeve shirt and the girl and the other guy is wearing tanks.
Everyone is wearing pants.
The people are not imply to be wearing any pants.
exists e1 e2 s1 x1 x2 x3 x4 x5 x6 x7.(Theme(e2,x7) & Actor(e2,x6) & v_wear(e2) & n_tank(x7) & subset_of(x4,x6) & -(x4 = x2) & n_guy(x2) & n_guy(x2) & n_guy(x4) & n_guy(x4) & subset_of(x3,x6) & n_girl(x3) & n_girl(x3) & Theme(e1,x5) & Actor(e1,x1) & v_wear(e1) & n_shirt(x5) & a_short-sleeve(s1) & Theme(s1,x5) & subset_of(x3,x1) & n_three(x3) & Time(x3,x4) & card_eq_1(x3) & subset_of(x2,x1) & card_eq_4(x2))
all x1.(n_person(x1) -> exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_pants(x2)))