A man in shorts on an elliptical.
A man is exercising at the gym.
The man could be just resting on the elliptical and not exercising and he might not be at the gym either.
exists x1 x2 x3.(a_topic(x1) & in(x1,x2) & on(x2,x3) & n_elliptical(x3) & n_shorts(x2) & n_man(x1))
exists e1 x1 x2.(n_gym(x2) & at(e1,x2) & Actor(e1,x1) & v_exercise(e1) & n_man(x1))