Two bike riders and four people travel near an intersection.
People by an intersection.
If people travel near an intersection, they must be by an intersection.
exists e1 x1 x2 x3 x4 x5.(near(e1,x5) & n_intersection(x5) & Actor(e1,x1) & v_travel(e1) & subset_of(x4,x1) & n_people(x4) & card_eq_4(x4) & subset_of(x2,x1) & n_rider(x2) & of(x2,x3) & n_bike(x3) & card_eq_2(x2))
exists x1 x2.(a_topic(x1) & by(x1,x2) & n_intersection(x2) & n_people(x1))