Men race on bicycles on track.
Women race on bicycles on track.
Men are male and women are female and someone cannot be both sexes at the same time.
exists x1 x2 x3 x4.(a_topic(x1) & on(x1,x3) & on(x3,x4) & n_track(x4) & n_bicycle(x3) & n_race(x1) & of(x1,x2) & n_man(x2))
exists x1 x2 x3 x4.(a_topic(x1) & on(x1,x3) & on(x3,x4) & n_track(x4) & n_bicycle(x3) & n_race(x1) & (x1 = x2) & ne_nam_women(x2))