\p
\v=17
\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="4"\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="4"\w* \w फाटक|x-occurrence="1" x-occurrences="1"\w* \w के|x-occurrence="3" x-occurrences="4"\w* \w पास|x-occurrence="1" x-occurrences="1"\w* \w के|x-occurrence="4" x-occurrences="4"\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