\q1
\v=3
\v~=\w Men|x-occurrence="1" x-occurrences="1"\w* \w use|x-occurrence="1" x-occurrences="1"\w* \w lamps|x-occurrence="1" x-occurrences="1"\w* \w while|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w work|x-occurrence="1" x-occurrences="1"\w* \w far|x-occurrence="1" x-occurrences="1"\w* \w down|x-occurrence="1" x-occurrences="1"\w* \w under|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="3"\w* \w ground|x-occurrence="1" x-occurrences="1"\w*
\¬q1
\q2
\p~<<q2=\w to|x-occurrence="1" x-occurrences="1"\w* \w search|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="3"\w* \w ore|x-occurrence="1" x-occurrences="1"\w* \w inside|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="3" x-occurrences="3"\w* \w mines|x-occurrence="1" x-occurrences="1"\w*
\¬q2
\q2
\p~<<q2=\w where|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w very|x-occurrence="1" x-occurrences="1"\w* \w dark|x-occurrence="1" x-occurrences="1"\w*.
\¬q2
\¬v