\p
\v=13
\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="2"\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="1" x-occurrences="1"\w* \w बलि|x-occurrence="1" x-occurrences="1"\w* \w कराया|x-occurrence="1" x-occurrences="1"\w*।
\¬v
\¬p