Two police riding horses in the city.
The city uses horses as modes of transportation for its police department.
If police are riding horses in the city, then the city must use horses as transportation for its police department.
exists e1 x1 x2 x3.(n_city(x3) & in(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_horse(x2) & n_police(x1) & card_eq_2(x1))
exists e1 x1 x2 x3 x4 x5 x6.(n_department(x5) & of(x5,x6) & n_police(x6) & of(x5,x1) & n_thing(x1) & n_city(x1) & as(e1,x3) & of(x3,x4) & for(x4,x5) & n_transportation(x4) & n_mode(x3) & Theme(e1,x2) & Actor(e1,x1) & v_use(e1) & n_horse(x2))