\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* \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