Bicyclists waiting at an intersection.
The bicyclists are in a race.
No all bicyclists are in a race.
exists e1 x1 x2 x3.(a_topic(x1) & at(e1,x3) & n_intersection(x3) & Actor(e1,x2) & v_wait(e1) & (x1 = x2) & n_bicyclist(x1))
exists p1 x1.(n_bicyclist(x1) & exists x2.(in(x1,x2) & n_race(x2)))