\p \v=3 \v~=\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="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