\v=33
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w Saul|x-occurrence="1" x-occurrences="1"\w* \w threw|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="2"\w* \w spear|x-occurrence="1" x-occurrences="2"\w* \w at|x-occurrence="1" x-occurrences="1"\w* \w Jonathan|x-occurrence="1" x-occurrences="2"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w order|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w kill|x-occurrence="1" x-occurrences="2"\w* \w him|x-occurrence="1" x-occurrences="2"\w*, \w but|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w spear|x-occurrence="2" x-occurrences="2"\w* \w did|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w hit|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="2" x-occurrences="2"\w*. \w So|x-occurrence="1" x-occurrences="1"\w* \w Jonathan|x-occurrence="2" x-occurrences="2"\w* \w knew|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="2" x-occurrences="2"\w* \w father|x-occurrence="1" x-occurrences="1"\w* \w really|x-occurrence="1" x-occurrences="1"\w* \w wanted|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w kill|x-occurrence="2" x-occurrences="2"\w* \w David|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p