Two people are working out in a gym, one is on the treadmill and the other is doing a workout for his arms.
Two people are working out
Two people are working out at the gym.  One person is using the treadmill and the other person is working on his arms.
exists e1 e2 p1 s1 x1 x2 x3 x4 x5 x6 x7.(n_arm(x6) & of(x6,x4) & n_male(x4) & n_other(x4) & n_treadmill(x7) & Theme(e2,x5) & Actor(e2,x4) & v_do(e2) & for(x5,x6) & n_workout(x5) & on(x3,x7) & n_thing(x3) & card_eq_1(x3) & in(e1,x2) & n_gym(x2) & a_out(s1) & Manner(e1,s1) & Actor(e1,x1) & v_work(e1) & n_people(x1) & card_eq_2(x1))
exists e1 s1 x1.(a_out(s1) & Manner(e1,s1) & Actor(e1,x1) & v_work(e1) & n_people(x1) & card_eq_2(x1))