\p
\v=2
\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="3"\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="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="1" x-occurrences="2"\w* \w और|x-occurrence="2" x-occurrences="3"\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="1" x-occurrences="1"\w* \w तीन|x-occurrence="1" x-occurrences="1"\w* \w हजार|x-occurrence="3" 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="1" x-occurrences="1"\w* \w करके|x-occurrence="1" x-occurrences="1"\w* \w ठहराए|x-occurrence="1" x-occurrences="1"\w*।
\¬v
\¬p