People waiting at a light on bikes.
The people are riding their bikes to the gym.
Not all people waiting at lights are riding their bikes to get to the gym.
exists e1 x1 x2 x3 x4.(a_topic(x1) & at(e1,x3) & on(x3,x4) & n_bike(x4) & n_light(x3) & Actor(e1,x2) & v_wait(e1) & (x1 = x2) & n_people(x1))
exists e1 x1 x2 x3.(n_gym(x3) & n_bike(x2) & of(x2,x1) & n_thing(x1) & n_people(x1) & to(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1))