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