\v=8
\v~=\w When|x-occurrence="1" x-occurrences="1"\w* \w Saul|x-occurrence="1" x-occurrences="1"\w* \w counted|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="1" x-occurrences="1"\w* \w at|x-occurrence="1" x-occurrences="1"\w* \w Bezek|x-occurrence="1" x-occurrences="1"\w*, \w he|x-occurrence="1" x-occurrences="1"\w* \w saw|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w there|x-occurrence="1" x-occurrences="2"\w* \w were|x-occurrence="1" x-occurrences="1"\w* \w 300|x-occurrence="1" x-occurrences="1"\w*, \w 000|x-occurrence="1" x-occurrences="1"\w* \w Israelite|x-occurrence="1" x-occurrences="1"\w* \w men|x-occurrence="1" x-occurrences="2"\w* \w there|x-occurrence="2" x-occurrences="2"\w*, \w as|x-occurrence="1" x-occurrences="2"\w* \w well|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="2" x-occurrences="2"\w* \w thirty|x-occurrence="1" x-occurrences="1"\w* \w thousand|x-occurrence="1" x-occurrences="1"\w* \w men|x-occurrence="2" x-occurrences="2"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w tribe|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Judah|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p