\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* \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="2"\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="2" x-occurrences="2"\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