\p
\v=42
\v~=\w कनज|x-occurrence="1" x-occurrences="1"\w* \w अधिपति|x-occurrence="1" x-occurrences="3"\w*, \w तेमान|x-occurrence="1" x-occurrences="1"\w* \w अधिपति|x-occurrence="2" x-occurrences="3"\w*, \w मिबसार|x-occurrence="1" x-occurrences="1"\w* \w अधिपति|x-occurrence="3" x-occurrences="3"\w*,
\¬v
\¬p