\p
\v=13
\v~=\w यिशै|x-occurrence="1" x-occurrences="1"\w* \w के|x-occurrence="1" x-occurrences="3"\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="2" x-occurrences="3"\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="2"\w* \w गए|x-occurrence="1" x-occurrences="2"\w* \w थे|x-occurrence="1" x-occurrences="3"\w*; \w और|x-occurrence="1" x-occurrences="2"\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="3" x-occurrences="3"\w* \w नाम|x-occurrence="1" x-occurrences="2"\w* \w जो|x-occurrence="1" x-occurrences="1"\w* \w लड़ने|x-occurrence="2" x-occurrences="2"\w* \w को|x-occurrence="2" x-occurrences="2"\w* \w गए|x-occurrence="2" x-occurrences="2"\w* \w थे|x-occurrence="2" x-occurrences="3"\w*, \w ये|x-occurrence="1" x-occurrences="1"\w* \w थे|x-occurrence="3" x-occurrences="3"\w*, \w अर्थात्|x-occurrence="1" x-occurrences="1"\w* \w ज्येष्ठ|x-occurrence="1" x-occurrences="1"\w* \w का|x-occurrence="1" x-occurrences="3"\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="2" x-occurrences="3"\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="3" x-occurrences="3"\w* \w शम्मा|x-occurrence="1" x-occurrences="1"\w* \w था|x-occurrence="1" x-occurrences="1"\w*।
\¬v
\¬p