\p
\v=10
\v~=\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="1" x-occurrences="1"\w* \w से|x-occurrence="1" x-occurrences="1"\w* \w होसा|x-occurrence="1" x-occurrences="1"\w* \w के|x-occurrence="2" 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="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* \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="1" x-occurrences="1"\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*),
\¬v
\¬p