\v=3 \v~={\w Esau|x-occurrence="1" x-occurrences="1"\w* \w also|x-occurrence="1" x-occurrences="1"\w* \w married|x-occurrence="1" x-occurrences="1"\w*} \w Basemath|x-occurrence="1" x-occurrences="1"\w*, {\w who|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="1"\w*} \w Ishmael|x-occurrence="1" x-occurrences="1"\w*'\w s|x-occurrence="1" x-occurrences="2"\w* \w daughter|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w Nebaioth|x-occurrence="1" x-occurrences="1"\w*'\w s|x-occurrence="2" x-occurrences="2"\w* \w sister|x-occurrence="1" x-occurrences="1"\w*. \¬v \¬p