\p \v=23 \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="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="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*। \¬v \¬p