Four guys and one girl three guys are wearing short-sleeve shirt and the girl and the other guy is wearing tanks.
The clothes the guys wearing are colored red.
The clothes the guys are wearing is not imply to being colored red.
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))
exists p1 x1 x2.(n_guy(x2) & n_clothes(x1) & a_topic(x1) & exists e2 e1 p2 x3.(exists s1.(Theme(s1,x2) & a_red(s1)) & Recipient(e2,p2) & Topic(e2,x2) & v_color(e2) & Actor(e1,x3) & v_wear(e1) & (x2 = x3)) & that(x1,p1))