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