\p
\v=21
\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="2"\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="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="2"\w* \w चलेगी|x-occurrence="1" x-occurrences="1"\w* \w और|x-occurrence="2" x-occurrences="2"\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*।
\¬v
\¬p