\v=36
\v~=\w Just|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w sun|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w going|x-occurrence="1" x-occurrences="1"\w* \w down|x-occurrence="1" x-occurrences="1"\w*, \w someone|x-occurrence="1" x-occurrences="1"\w* \w among|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w Israelite|x-occurrence="1" x-occurrences="1"\w* \w troops|x-occurrence="1" x-occurrences="1"\w* \w shouted|x-occurrence="1" x-occurrences="1"\w*, “\w The|x-occurrence="1" x-occurrences="1"\w* \w battle|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w ended|x-occurrence="1" x-occurrences="1"\w*! \w Everyone|x-occurrence="1" x-occurrences="1"\w* \w should|x-occurrence="1" x-occurrences="1"\w* \w return|x-occurrence="1" x-occurrences="1"\w* \w home|x-occurrence="1" x-occurrences="1"\w*!”
\¬v
\¬p