\v=11
\v~=(\w Og|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="5"\w* \w the|x-occurrence="1" x-occurrences="4"\w* \w last|x-occurrence="1" x-occurrences="1"\w* \w king|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="2" x-occurrences="5"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w descendant|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="4"\w* \w the|x-occurrence="2" x-occurrences="4"\w* \w Repha|x-occurrence="1" x-occurrences="1"\w* \w giants|x-occurrence="1" x-occurrences="1"\w*. \w His|x-occurrence="1" x-occurrences="1"\w* \w bed|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="3" x-occurrences="5"\w* \w made|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="2" x-occurrences="4"\w* \w iron|x-occurrence="1" x-occurrences="1"\w*. \w It|x-occurrence="1" x-occurrences="2"\w* \w was|x-occurrence="4" x-occurrences="5"\w* \w four|x-occurrence="1" x-occurrences="1"\w* \w meters|x-occurrence="1" x-occurrences="2"\w* \w long|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w two|x-occurrence="1" x-occurrences="1"\w* \w meters|x-occurrence="2" x-occurrences="2"\w* \w wide|x-occurrence="1" x-occurrences="1"\w*. \w It|x-occurrence="2" x-occurrences="2"\w* \w was|x-occurrence="5" x-occurrences="5"\w* \w in|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="3" x-occurrences="4"\w* \w city|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="3" x-occurrences="4"\w* \w Rabbah|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="4" x-occurrences="4"\w* \w region|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="4" x-occurrences="4"\w* \w Ammon|x-occurrence="1" x-occurrences="1"\w*.)
\¬v
\¬p