\v=10
\v~=\w But|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="3"\w* \w man|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="3"\w* \w tribe|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w Levi|x-occurrence="1" x-occurrences="1"\w* \w did|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w want|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w stay|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w another|x-occurrence="1" x-occurrences="1"\w* \w night|x-occurrence="1" x-occurrences="1"\w*. \w He|x-occurrence="1" x-occurrences="1"\w* \w put|x-occurrence="1" x-occurrences="1"\w* \w saddles|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="3"\w* \w two|x-occurrence="1" x-occurrences="1"\w* \w donkeys|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="2"\w* \w started|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w go|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="2" x-occurrences="3"\w* \w slave|x-occurrence="1" x-occurrences="1"\w* \w wife|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="2" x-occurrences="2"\w* \w his|x-occurrence="3" x-occurrences="3"\w* \w servant|x-occurrence="1" x-occurrences="1"\w* \w toward|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="3" x-occurrences="3"\w* \w city|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="2" x-occurrences="2"\w* \w Jebus|x-occurrence="1" x-occurrences="1"\w*, \w which|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w now|x-occurrence="1" x-occurrences="1"\w* \w named|x-occurrence="1" x-occurrences="1"\w* \w Jerusalem|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p