\q1
\v=15
\v~=\w The|x-occurrence="1" x-occurrences="1"\w* \w one|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="2"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w lazy|x-occurrence="1" x-occurrences="1"\w* \w finds|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w sleep|x-occurrence="1" x-occurrences="1"\w* \w comes|x-occurrence="1" x-occurrences="1"\w* \w easily|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w him|x-occurrence="1" x-occurrences="1"\w*,
\¬q1
\q2
\p~<<q2=\w but|x-occurrence="1" x-occurrences="1"\w* \w anyone|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="2" x-occurrences="2"\w* \w refuses|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w work|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="1" x-occurrences="1"\w* \w go|x-occurrence="1" x-occurrences="1"\w* \w hungry|x-occurrence="1" x-occurrences="1"\w*.
\¬q2
\¬v