\p
\v=11
\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* \w लूदी|x-occurrence="1" x-occurrences="1"\w*, \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