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