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