\v=4
\v~=\w he|x-occurrence="1" x-occurrences="1"\w* \w sent|x-occurrence="1" x-occurrences="1"\w* \w some|x-occurrence="1" x-occurrences="1"\w* \w spies|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w find|x-occurrence="1" x-occurrences="1"\w* \w out|x-occurrence="1" x-occurrences="1"\w* \w if|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w true|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w Saul|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w come|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w Hakilah|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p