Two people are riding their bikes in city traffic.
People riding the bus are stuck in traffic.
People cannot ride their bikes and the bus at the same time.
exists e1 x1 x2 x3 x4.(in(e1,x3) & n_traffic(x3) & of(x3,x4) & n_city(x4) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_bike(x2) & of(x2,x1) & n_thing(x1) & n_people(x1) & card_eq_2(x1))
exists e2 e1 x1 x2 x3 x4.(n_bus(x3) & in(e2,x4) & n_traffic(x4) & Theme(e2,x1) & v_stick(e2) & Theme(e1,x3) & Actor(e1,x2) & v_ride(e1) & (x1 = x2) & n_people(x1))