\v=8
\v~=\w His|x-occurrence="1" x-occurrences="1"\w* \w army|x-occurrence="1" x-occurrences="1"\w* \w defeated|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="6"\w* \w soldiers|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w Philistia|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="2"\w* \w far|x-occurrence="1" x-occurrences="1"\w* \w south|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="2" x-occurrences="6"\w* \w city|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="2" x-occurrences="2"\w* \w Gaza|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="3" x-occurrences="6"\w* \w nearby|x-occurrence="1" x-occurrences="1"\w* \w villages|x-occurrence="1" x-occurrences="1"\w*. \w They|x-occurrence="1" x-occurrences="1"\w* \w conquered|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="4" x-occurrences="6"\w* \w entire|x-occurrence="1" x-occurrences="1"\w* \w area|x-occurrence="1" x-occurrences="1"\w*, \w from|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="5" x-occurrences="6"\w* \w smallest|x-occurrence="1" x-occurrences="1"\w* \w village|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w only|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w watchtower|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="6" x-occurrences="6"\w* \w largest|x-occurrence="1" x-occurrences="1"\w* \w cities|x-occurrence="1" x-occurrences="1"\w* \w surrounded|x-occurrence="1" x-occurrences="1"\w* \w by|x-occurrence="1" x-occurrences="1"\w* \w walls|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p