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