Cars must be left at the southern end of the town.
Cars can be taken anywhere in the town.
mnli hypothesis: Cars can be taken anywhere in the town. premise: Cars must be left at the southern end of the town.