\v=23
\v~=\w And|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="1" x-occurrences="3"\w* \w sons|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="3"\w* \w Ammon|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="2"\w* \w Moab|x-occurrence="1" x-occurrences="1"\w* \w stood|x-occurrence="1" x-occurrences="1"\w* \w against|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="2" x-occurrences="3"\w* \w inhabitants|x-occurrence="1" x-occurrences="2"\w* \w of|x-occurrence="2" x-occurrences="3"\w* \w Mount|x-occurrence="1" x-occurrences="1"\w* \w Seir|x-occurrence="1" x-occurrences="2"\w*, \w to|x-occurrence="1" x-occurrences="3"\w* \w devote|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="3"\w* \w destruction|x-occurrence="1" x-occurrences="2"\w* \w and|x-occurrence="2" x-occurrences="2"\w* \w to|x-occurrence="3" x-occurrences="3"\w* \w destroy|x-occurrence="1" x-occurrences="1"\w*. \w And|x-occurrence="2" x-occurrences="2"\w* \w when|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="2"\w* \w finished|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="3" x-occurrences="3"\w* \w inhabitants|x-occurrence="2" x-occurrences="2"\w* \w of|x-occurrence="3" x-occurrences="3"\w* \w Seir|x-occurrence="2" x-occurrences="2"\w*, \w they|x-occurrence="2" x-occurrences="2"\w* \w helped|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w man|x-occurrence="1" x-occurrences="1"\w* \w against|x-occurrence="2" x-occurrences="2"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w neighbor|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w destruction|x-occurrence="2" x-occurrences="2"\w*.
\¬v
\¬p