\p
\v=23
\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