When the police complete investigations, the prosecutor will prosecute the offender at an appropriate court.
∀x ∀y (Crime(y) ∧ PoliceCompleteInvestigation(y) ∧ Prosecutor(x) → ProsecuteInAppropriateCourt(x, theOffender))