two police ride on the same bike.
The two policemen work for the city of Providence, RI.
Not all police men work for the city of Providence, RI.
exists s1 x1 x2 x3.(n_bike(x3) & a_same(s1) & Theme(s1,x3) & a_topic(x1) & on(x1,x3) & n_ride(x1) & of(x1,x2) & n_police(x2) & card_eq_2(x1))
exists x1 x2 x3 x4 x5.(ne_geo_ri(x5) & ne_geo_providence(x4) & n_city(x3) & n_work(x1) & of(x1,x2) & n_policeman(x2) & card_eq_2(x1) & a_topic(x1) & for(x1,x3) & of(x3,x4) & rel(x4,x5))