\p
\v=10
\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="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* \w यहोवा|x-occurrence="1" x-occurrences="1"\w* \w की|x-occurrence="1" x-occurrences="3"\w* \w प्रजा|x-occurrence="1" x-occurrences="1"\w* \w की|x-occurrence="2" x-occurrences="3"\w* \w नामधराई|x-occurrence="1" x-occurrences="1"\w* \w की|x-occurrence="3" x-occurrences="3"\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