\p
\v=13
\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="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="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