\p
\v=13
\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="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="1"\w* \w आना|x-occurrence="1" x-occurrences="1"\w*।
\¬v
\¬p