\p
\v=12
\v~=\w अर्थात्|x-occurrence="1" x-occurrences="1"\w* \w मुख्य|x-occurrence="1" x-occurrences="1"\w* \w तो|x-occurrence="1" x-occurrences="1"\w* \w योएल|x-occurrence="1" x-occurrences="1"\w* \w और|x-occurrence="1" x-occurrences="2"\w* \w दूसरा|x-occurrence="1" x-occurrences="1"\w* \w शापाम|x-occurrence="1" x-occurrences="1"\w* \w फिर|x-occurrence="1" x-occurrences="1"\w* \w यानै|x-occurrence="1" x-occurrences="1"\w* \w और|x-occurrence="2" x-occurrences="2"\w* \w शापात|x-occurrence="1" x-occurrences="1"\w*, \w ये|x-occurrence="1" x-occurrences="1"\w* \w बाशान|x-occurrence="1" x-occurrences="1"\w* \w में|x-occurrence="1" x-occurrences="1"\w* \w रहते|x-occurrence="1" x-occurrences="1"\w* \w थे|x-occurrence="1" x-occurrences="1"\w*।
\¬v
\¬p