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