\p
\v=16
\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* \w थे|x-occurrence="1" x-occurrences="1"\w*,
\¬v
\¬p