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