Premise: for for city use and

Hypothesis: Those are not to be used by the city.
Relation: contradiction