\p
\v=15
\v~=“\w देश|x-occurrence="1" x-occurrences="1"\w* \w की|x-occurrence="1" x-occurrences="3"\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="2" x-occurrences="3"\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="2" x-occurrences="2"\w* \w सदाद|x-occurrence="1" x-occurrences="1"\w* \w की|x-occurrence="3" x-occurrences="3"\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