\v=42
\v~=\w These|x-occurrence="1" x-occurrences="1"\w* \w cities|x-occurrence="1" x-occurrences="1"\w* \w each|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w surrounding|x-occurrence="1" x-occurrences="1"\w* \w pastureland|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p