\q1 \v=7 \v~=\w For|x-occurrence="1" x-occurrences="1"\w* \w there|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w no|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 knows|x-occurrence="1" x-occurrences="1"\w* \w what|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="1" x-occurrences="3"\w* \w be|x-occurrence="1" x-occurrences="2"\w*, \w for|x-occurrence="1" x-occurrences="1"\w* \w just|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="2" x-occurrences="3"\w* \w be|x-occurrence="2" x-occurrences="2"\w*, \¬q1 \q2 \p~<