\p
\v=20
\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="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="2" x-occurrences="2"\w* \w कि|x-occurrence="1" x-occurrences="1"\w* \w देश|x-occurrence="1" x-occurrences="2"\w*-\w देश|x-occurrence="2" x-occurrences="2"\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*।
\¬v
\¬p