\v=19
\v~=\w That|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w how|x-occurrence="1" x-occurrences="1"\w* \w Yahweh|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="1" x-occurrences="1"\w* \w punish|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="3"\w* \w people|x-occurrence="1" x-occurrences="2"\w* \w of|x-occurrence="1" x-occurrences="3"\w* \w Egypt|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="3"\w* \w people|x-occurrence="2" x-occurrences="2"\w* \w of|x-occurrence="2" x-occurrences="3"\w* \w any|x-occurrence="1" x-occurrences="1"\w* \w other|x-occurrence="1" x-occurrences="1"\w* \w nation|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w go|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w Jerusalem|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w celebrate|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="3" x-occurrences="3"\w* \w Festival|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="3" x-occurrences="3"\w* \w Shelters|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p