\v=8
\v~=\w So|x-occurrence="1" x-occurrences="1"\w*, \w many|x-occurrence="1" x-occurrences="1"\w* \w people|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w city|x-occurrence="1" x-occurrences="1"\w* \w greatly|x-occurrence="1" x-occurrences="1"\w* \w rejoiced|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p