\p
\v=5
\v~=\w राजा|x-occurrence="1" 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="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="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="2" x-occurrences="2"\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="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*।
\¬v
\¬p