\q1
\v=7
\v~=\w But|x-occurrence="1" x-occurrences="1"\w* \w this|x-occurrence="1" x-occurrences="2"\w* \w is|x-occurrence="1" x-occurrences="2"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w what|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="2"\w* \w intends|x-occurrence="1" x-occurrences="1"\w*, \w nor|x-occurrence="1" x-occurrences="1"\w* \w does|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="2" x-occurrences="2"\w* \w think|x-occurrence="1" x-occurrences="1"\w* \w this|x-occurrence="2" x-occurrences="2"\w* \w way|x-occurrence="1" x-occurrences="1"\w*.
\¬q1
\q1
\p~<<q1={\w It|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="2" x-occurrences="2"\w*} \w in|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w heart|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w destroy|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w eliminate|x-occurrence="1" x-occurrences="1"\w* \w many|x-occurrence="1" x-occurrences="1"\w* \w nations|x-occurrence="1" x-occurrences="1"\w*.
\¬q1
\¬v