Woman on an elliptical machine at a gym.
There is a woman working out at a gym.
The woman on the elliptical machine is working out.
exists s1 s2 x1 x2.(ne_nam_woman(s1) & a_topic(s1) & on(s1,x1) & at(x1,x2) & n_gym(x2) & n_machine(x1) & a_elliptical(s2) & Theme(s2,x1))
exists p1 x1 e1 s1 x2 x3 x4.((x1 = x2) & at(e1,x4) & n_gym(x4) & a_out(s1) & Manner(e1,s1) & Actor(e1,x3) & v_work(e1) & (x2 = x3) & n_woman(x2))