\p
\v=3
\v~=\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="4"\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="2" x-occurrences="4"\w* \w रहे|x-occurrence="2" x-occurrences="2"\w*, \w अर्थात्|x-occurrence="1" x-occurrences="1"\w* \w यरूशलेम|x-occurrence="2" x-occurrences="2"\w* \w में|x-occurrence="3" x-occurrences="4"\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="4" x-occurrences="4"\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 17|x-occurrence="1" x-occurrences="1"\w*:\w 8|x-occurrence="1" x-occurrences="1"\w*, \w प्रका|x-occurrence="2" x-occurrences="2"\w*. \w 20|x-occurrence="1" x-occurrences="1"\w*:\w 15|x-occurrence="1" x-occurrences="1"\w*)
\¬v
\¬p