Several people in sweat clothing lay together on a gymnasium floor, while a standing person grasps one of their legs.
Everyone was wearing sweat pants.
Several people in sweat clothing is same as everyone was wearing sweat pants
exists e1 p1 s1 s2 x1 x2 x3 x4 x5 x8.(exists e3 e2 x6 x7.(Theme(e3,x7) & Actor(e3,x6) & v_grasp(e3) & of(x7,x8) & n_thing(x7) & card_eq_1(x7) & n_person(x6) & Actor(e2,x6) & v_stand(e2)) & n_leg(x8) & of(x8,x1) & n_thing(x1) & while(e1,p1) & a_together(s2) & Manner(e1,s2) & on(e1,x4) & n_floor(x4) & of(x4,x5) & n_gymnasium(x5) & Actor(e1,x1) & v_lay(e1) & in(x1,x2) & n_clothing(x2) & of(x2,x3) & n_sweat(x3) & n_people(x1) & a_several(s1) & Theme(s1,x1))
all x1.(n_person(x1) -> exists e1 x2 x3.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_pants(x2) & of(x2,x3) & n_sweat(x3)))