\q1
\v=5
\v~=\w The|x-occurrence="1" x-occurrences="1"\w* \w enemy|x-occurrence="1" x-occurrences="1"\w* \w runs|x-occurrence="1" x-occurrences="1"\w* \w after|x-occurrence="1" x-occurrences="1"\w* \w us|x-occurrence="1" x-occurrences="3"\w* \w and|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 close|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w us|x-occurrence="2" x-occurrences="3"\w*;
\¬q1
\q2
\p~<<q2=\w we|x-occurrence="1" x-occurrences="1"\w* \w are|x-occurrence="1" x-occurrences="1"\w* \w exhausted|x-occurrence="1" x-occurrences="1"\w*, \w but|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w allow|x-occurrence="1" x-occurrences="1"\w* \w us|x-occurrence="3" x-occurrences="3"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w rest|x-occurrence="1" x-occurrences="1"\w*.
\¬q2
\¬v