\p
\v=31
\v~=\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="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* \w थे|x-occurrence="1" x-occurrences="1"\w*।
\¬v
\¬p