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