\p
\v=9
\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="1"\w* \w होगा|x-occurrence="1" x-occurrences="3"\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="3"\w*; \w और|x-occurrence="1" x-occurrences="3"\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="2" x-occurrences="2"\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="3" x-occurrences="3"\w*, \w और|x-occurrence="2" x-occurrences="3"\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="2" x-occurrences="2"\w* \w और|x-occurrence="3" x-occurrences="3"\w* \w चैन|x-occurrence="1" x-occurrences="1"\w* \w दूँगा|x-occurrence="2" x-occurrences="2"\w*।
\¬v
\¬p