\q1
\v=8
\v~=\w He|x-occurrence="1" x-occurrences="1"\w* \w alone|x-occurrence="1" x-occurrences="2"\w* \w stretched|x-occurrence="1" x-occurrences="1"\w* [\w stretches|x-occurrence="1" x-occurrences="1"\w*] \w out|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w sky|x-occurrence="1" x-occurrences="1"\w*;
\¬q1
\q2
\p~<<q2=\w he|x-occurrence="1" x-occurrences="1"\w* \w alone|x-occurrence="2" x-occurrences="2"\w* \w puts|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w feet|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w waves|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w stops|x-occurrence="1" x-occurrences="1"\w* \w their|x-occurrence="1" x-occurrences="1"\w* \w violence|x-occurrence="1" x-occurrences="1"\w*.
\¬q2
\¬v