A man in a striped shirt, vest, tie, and hat is serving himself punch from a large bowl.
The punch is red.
The puch can be of any color not only red
exists e1 e2 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10.(Theme(e2,x3) & Actor(e2,x1) & v_serve(e2) & from(e1,x10) & n_bowl(x10) & a_large(s2) & Theme(s2,x10) & Actor(e1,x9) & v_punch(e1) & (x3 = x9) & n_male(x3) & in(x1,x2) & n_hat(x8) & n_tie(x7) & subset_of(x8,x6) & subset_of(x7,x6) & r_,(x6) & n_vest(x5) & subset_of(x6,x4) & subset_of(x5,x4) & n_shirt(x3) & a_striped(s1) & Theme(s1,x3) & subset_of(x4,x2) & subset_of(x3,x2) & n_man(x1))
exists s1 x1.(n_punch(x1) & Theme(s1,x1) & a_red(s1))