Four men are rollerskating in a park, holding on to each others' waists.
The four women are rollerskating inside a skate rink.
Four men are different genders then four women.
exists e1 e2 x1 x2.(for(e1,e2) & r_on(e2) & all x4 x3.((n_waist(x4) & of(x4,x3) & -(x3 = x1) & n_person(x3)) -> to(e2,x4)) & n_person(x1) & Actor(e2,x1) & v_hold(e2) & in(e1,x2) & n_park(x2) & Actor(e1,x1) & v_rollerskate(e1) & n_man(x1) & card_eq_4(x1))
exists e1 x1 x2 x3.(n_woman(x1) & card_eq_4(x1) & inside(e1,x2) & n_rink(x2) & of(x2,x3) & n_skate(x3) & Actor(e1,x1) & v_rollerskate(e1))