\q1
\v=18
\v~=\w The|x-occurrence="1" x-occurrences="1"\w* \w path|x-occurrence="1" x-occurrences="1"\w* \w taken|x-occurrence="1" x-occurrences="1"\w* \w by|x-occurrence="1" x-occurrences="1"\w* \w those|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w right|x-occurrence="1" x-occurrences="1"\w* \w grows|x-occurrence="1" x-occurrences="1"\w* \w brighter|x-occurrence="1" x-occurrences="4"\w* \w and|x-occurrence="1" x-occurrences="3"\w* \w brighter|x-occurrence="2" x-occurrences="4"\w*, \w like|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="3"\w* \w rising|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="2" x-occurrences="3"\w* \w sun|x-occurrence="1" x-occurrences="1"\w* \w at|x-occurrence="1" x-occurrences="1"\w* \w dawn|x-occurrence="1" x-occurrences="1"\w*,
\¬q1
\q2
\p~<<q2=\w and|x-occurrence="2" x-occurrences="3"\w* \w it|x-occurrence="1" x-occurrences="2"\w* \w shines|x-occurrence="1" x-occurrences="1"\w* \w brighter|x-occurrence="3" x-occurrences="4"\w* \w and|x-occurrence="3" x-occurrences="3"\w* \w brighter|x-occurrence="4" x-occurrences="4"\w* \w until|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="2" x-occurrences="2"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="2"\w* \w full|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="3" x-occurrences="3"\w* \w light|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="2" x-occurrences="2"\w* \w day|x-occurrence="1" x-occurrences="1"\w*.
\¬q2
\¬v