\p
\v=3
\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="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* \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