three riders stand around their horses in the mountains.
The three riders are relaxing in the park while others take care of their horses.
The cannot be in the park and in the mountains at the same time
exists e1 x1 x2 x3.(n_mountain(x3) & around(e1,x2) & in(x2,x3) & n_horse(x2) & of(x2,x1) & n_thing(x1) & Actor(e1,x1) & v_stand(e1) & n_rider(x1) & card_eq_3(x1))
exists e1 p1 x1 x2 x5.(n_horse(x5) & of(x5,x2) & n_thing(x2) & n_person(x2) & n_park(x2) & n_rider(x1) & card_eq_3(x1) & exists e2 x3 x4.(of(e2,x5) & Theme(e2,x4) & Actor(e2,x3) & v_take(e2) & n_care(x4) & -(x3 = x2) & n_person(x3)) & while(e1,p1) & in(e1,x2) & Actor(e1,x1) & v_relax(e1))