A man is doing lift ups in front of a man from the army on an obstacle course.
Two women are exercising at the gym.
There can either be one man or two women. The location can't be an obstacle course and a gym simultaneously.
exists e1 x1 x2 x3 x4 x5 x6 x7 x8.(n_army(x6) & on(e1,x7) & n_course(x7) & of(x7,x8) & n_obstacle(x8) & from(e1,x6) & in(e1,x4) & of(x4,x5) & n_man(x5) & n_front(x4) & Theme(e1,x2) & Actor(e1,x1) & v_do(e1) & n_up(x2) & of(x2,x3) & n_lift(x3) & n_man(x1))
exists e1 x1 x2.(n_gym(x2) & at(e1,x2) & Actor(e1,x1) & v_exercise(e1) & n_woman(x1) & card_eq_2(x1))