\p
\v=12
\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*,
\¬v
\¬p