\v=3
\v~={\w This|x-occurrence="1" x-occurrences="1"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w happened|x-occurrence="1" x-occurrences="1"\w*} \w after|x-occurrence="1" x-occurrences="1"\w* \w Abram|x-occurrence="1" x-occurrences="1"\w* {\w and|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="3"\w* \w family|x-occurrence="1" x-occurrences="1"\w*} \w had|x-occurrence="1" x-occurrences="1"\w* \w lived|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w land|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Canaan|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w ten|x-occurrence="1" x-occurrences="1"\w* \w years|x-occurrence="1" x-occurrences="1"\w*. {\w That|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w when|x-occurrence="1" x-occurrences="1"\w*} \w his|x-occurrence="2" x-occurrences="3"\w* \w wife|x-occurrence="1" x-occurrences="2"\w* \w Sarai|x-occurrence="1" x-occurrences="1"\w* \w gave|x-occurrence="1" x-occurrences="1"\w* \w her|x-occurrence="1" x-occurrences="1"\w* \w Egyptian|x-occurrence="1" x-occurrences="1"\w* \w servant|x-occurrence="1" x-occurrences="1"\w* \w Hagar|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w him|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="3" x-occurrences="3"\w* {\w second|x-occurrence="1" x-occurrences="1"\w*} \w wife|x-occurrence="2" x-occurrences="2"\w*.
\¬v
\¬p