\v=17
\v~=\w Abigail|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w Amasa|x-occurrence="1" x-occurrences="2"\w*. \w Amasa|x-occurrence="2" x-occurrences="2"\w*’\w s|x-occurrence="1" x-occurrences="1"\w* \w father|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w Jether|x-occurrence="1" x-occurrences="1"\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="1"\w* \w Ishmael|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬q2