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