\p
\v=9
\v~=\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="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="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="1" x-occurrences="1"\w* \w है|x-occurrence="1" x-occurrences="1"\w*,
\¬v
\¬p