Two police are on patrol on two horses.
Two police are on patrol.
The definition of on patrol is independent of an officer's means of transportation while on patrol.
exists p1 x1.(exists x2 x3.(on(x1,x2) & on(x2,x3) & n_horse(x3) & card_eq_2(x3) & n_patrol(x2)) & n_police(x1) & card_eq_2(x1))
exists p1 x1.(exists x2.(on(x1,x2) & n_patrol(x2)) & n_police(x1) & card_eq_2(x1))