A man wearing a sweatshirt and colored boxers is putting his pants on in a room that has cups and beer.
A man is getting dressed inside.
the fact that the man is putting his pants on implies that he is getting dressed.
exists e4 e3 e1 e2 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11.(r_on(e3) & in(e3,x7) & Theme(e4,x9) & Actor(e4,x8) & v_have(e4) & n_beer(x11) & n_cup(x10) & subset_of(x11,x9) & subset_of(x10,x9) & (x7 = x8) & n_room(x7) & Theme(e3,x6) & Actor(e3,x1) & v_put(e3) & n_pants(x6) & of(x6,x1) & n_male(x1) & Theme(e2,x3) & Actor(e2,x2) & v_wear(e2) & subset_of(x5,x3) & n_boxer(x5) & Theme(e1,x5) & v_color(e1) & subset_of(x4,x3) & n_sweatshirt(x4) & (x1 = x2) & n_man(x1))
exists e1 p1 x1.(exists e2 s1.(a_inside(s1) & Manner(e2,s1) & Theme(e2,x1) & v_dress(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_get(e1) & n_man(x1))