\p
\v=6
\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="2"\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="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="2"\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="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* \w प्रधान|x-occurrence="1" x-occurrences="1"\w* \w हो|x-occurrence="2" x-occurrences="2"\w*।’
\¬v
\¬p