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