\p
\v=5
\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*,
\¬v
\¬p