\p
\v=10
\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="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="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="2" 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="2" x-occurrences="2"\w*।
\¬v
\¬p