\p
\v=7
\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