Cars must be left at the southern end of the town.
One is not allowed to leave cars in the north of the town.
mnli hypothesis: One is not allowed to leave cars in the north of the town. premise: Cars must be left at the southern end of the town.