\v=36
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w King|x-occurrence="1" x-occurrences="1"\w* \w Sennacherib|x-occurrence="1" x-occurrences="1"\w* \w left|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w went|x-occurrence="1" x-occurrences="1"\w* \w home|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w Nineveh|x-occurrence="1" x-occurrences="1"\w*, \w the|x-occurrence="1" x-occurrences="1"\w* \w capital|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Assyria|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p