\v=20
\v~=\w For|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="2"\w* \w was|x-occurrence="1" x-occurrences="2"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w Yahweh|x-occurrence="1" x-occurrences="2"\w* \w to|x-occurrence="1" x-occurrences="4"\w* \w harden|x-occurrence="1" x-occurrences="1"\w* \w their|x-occurrence="1" x-occurrences="1"\w* \w heart|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="4"\w* \w meet|x-occurrence="1" x-occurrences="1"\w* \w battle|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w Israel|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="2"\w* \w order|x-occurrence="1" x-occurrences="2"\w* \w to|x-occurrence="3" x-occurrences="4"\w* \w completely|x-occurrence="1" x-occurrences="1"\w* \w destroy|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="1" x-occurrences="3"\w*, \w so|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w there|x-occurrence="1" x-occurrences="1"\w* \w would|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w favor|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="2" x-occurrences="3"\w*. \w But|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="2" x-occurrences="2"\w* \w was|x-occurrence="2" x-occurrences="2"\w* \w in|x-occurrence="2" x-occurrences="2"\w* \w order|x-occurrence="2" x-occurrences="2"\w* \w to|x-occurrence="4" x-occurrences="4"\w* \w annihilate|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="3" x-occurrences="3"\w* \w just|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="1"\w* \w Yahweh|x-occurrence="2" x-occurrences="2"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w commanded|x-occurrence="1" x-occurrences="1"\w* \w Moses|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p