\p
\v=17
\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="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="2"\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="1" x-occurrences="1"\w* \w नगर|x-occurrence="1" 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="2" x-occurrences="2"\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="2" x-occurrences="2"\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*।
\¬v
\¬p