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