\v=10
\v~=\w He|x-occurrence="1" x-occurrences="1"\w* \w ruled|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w Jerusalem|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w forty|x-occurrence="1" x-occurrences="1"\w*-\w one|x-occurrence="1" x-occurrences="1"\w* \w years|x-occurrence="1" x-occurrences="1"\w*. \w His|x-occurrence="1" x-occurrences="1"\w* \w grandmother|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w Maacah|x-occurrence="1" x-occurrences="1"\w*, \w the|x-occurrence="1" x-occurrences="1"\w* \w daughter|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Abishalom|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p