\p
\v=11
\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="2" x-occurrences="2"\w* \w का|x-occurrence="2" x-occurrences="3"\w* \w अहज्याह|x-occurrence="1" x-occurrences="2"\w*, \w अहज्याह|x-occurrence="2" x-occurrences="2"\w* \w का|x-occurrence="3" x-occurrences="3"\w* \w योआश|x-occurrence="1" x-occurrences="1"\w*;
\¬v
\¬p