\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