A group of bike riders are riding on the street.
A group of bike riders are on an indoor track.
The group of riders cannot be riding on the street if they are on an indoor track.
exists e1 x1 x2 x3 x4.(n_street(x4) & on(e1,x4) & Actor(e1,x1) & v_ride(e1) & of(x1,x2) & n_rider(x2) & of(x2,x3) & n_bike(x3) & n_group(x1))
exists p1 x1 x2 x3.(exists s1 x4.(on(x1,x4) & n_track(x4) & a_indoor(s1) & Theme(s1,x4)) & of(x1,x2) & n_rider(x2) & of(x2,x3) & n_bike(x3) & n_group(x1))