So the city pulled out of the program.
The city dropped the program in favor of another.
mnli hypothesis: The city dropped the program in favor of another. premise: So the city pulled out of the program.