\v=9
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w Jehoahaz|x-occurrence="1" x-occurrences="1"\w* \w slept|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="3"\w* \w fathers|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="2"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w buried|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="2"\w* \w Samaria|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="2" x-occurrences="2"\w* \w Johoash|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="2" x-occurrences="3"\w* \w son|x-occurrence="1" x-occurrences="1"\w* \w became|x-occurrence="1" x-occurrences="1"\w* \w king|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="2" x-occurrences="2"\w* \w his|x-occurrence="3" x-occurrences="3"\w* \w place|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p