\p
\v=13
\v~=\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="2" x-occurrences="2"\w* \w से|x-occurrence="2" x-occurrences="2"\w* \w अजर्याह|x-occurrence="1" x-occurrences="1"\w*,
\¬v
\¬p