\v=23
\v~=\w All|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="1" x-occurrences="7"\w* \w country|x-occurrence="1" x-occurrences="1"\w* \w wept|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w loud|x-occurrence="1" x-occurrences="1"\w* \w voice|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="2"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="7"\w* \w people|x-occurrence="1" x-occurrences="2"\w* \w passed|x-occurrence="1" x-occurrences="1"\w* \w by|x-occurrence="1" x-occurrences="1"\w* \w over|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="3" x-occurrences="7"\w* \w Kidron|x-occurrence="1" x-occurrences="1"\w* \w Valley|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="4" x-occurrences="7"\w* \w king|x-occurrence="1" x-occurrences="1"\w* \w also|x-occurrence="1" x-occurrences="1"\w* \w himself|x-occurrence="1" x-occurrences="1"\w* \w crossed|x-occurrence="1" x-occurrences="1"\w* \w over|x-occurrence="2" x-occurrences="2"\w*. \w All|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="5" x-occurrences="7"\w* \w people|x-occurrence="2" x-occurrences="2"\w* \w traveled|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="6" x-occurrences="7"\w* \w road|x-occurrence="1" x-occurrences="1"\w* \w toward|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="7" x-occurrences="7"\w* \w wilderness|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p