Four men are rollerskating in a park, holding on to each others' waists.
There are people outdoors in a park.
men are people. a park indicates that this is outdoors.
exists e2 e1 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 p1 x1 x2.(in(p1,x2) & n_park(x2) & exists x3 x4.((x1 = x3) & Time(x3,x4) & n_outdoors(x4) & n_people(x3)))