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