\p
\v=17
\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="2"\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*।  (\w 2|x-occurrence="1" x-occurrences="1"\w* \w राजा|x-occurrence="1" x-occurrences="1"\w*. \w 4|x-occurrence="1" x-occurrences="1"\w*:\w 44|x-occurrence="1" x-occurrences="1"\w*)  
\¬v
\¬p