\p
\v=37
\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*;
\¬v
\¬p