\v=5
\v~=\w One|x-occurrence="1" x-occurrences="1"\w* \w cliff|x-occurrence="1" x-occurrences="2"\w* \w faced|x-occurrence="1" x-occurrences="2"\w* \w north|x-occurrence="1" x-occurrences="1"\w* \w toward|x-occurrence="1" x-occurrences="2"\w* \w Michmash|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="3"\w* \w cliff|x-occurrence="2" x-occurrences="2"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="3"\w* \w other|x-occurrence="1" x-occurrences="1"\w* \w side|x-occurrence="1" x-occurrences="1"\w* \w faced|x-occurrence="2" x-occurrences="2"\w* \w south|x-occurrence="1" x-occurrences="1"\w* \w toward|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="3" x-occurrences="3"\w* \w town|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Geba|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p