\q1 \v=10 \v~=\w When|x-occurrence="1" x-occurrences="1"\w* \w things|x-occurrence="1" x-occurrences="1"\w* \w go|x-occurrence="1" x-occurrences="1"\w* \w well|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w those|x-occurrence="1" x-occurrences="2"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w what|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w right|x-occurrence="1" x-occurrences="1"\w*, \w those|x-occurrence="2" x-occurrences="2"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w their|x-occurrence="1" x-occurrences="1"\w* \w city|x-occurrence="1" x-occurrences="1"\w* \w are|x-occurrence="1" x-occurrences="2"\w* \w happy|x-occurrence="1" x-occurrences="1"\w*, \¬q1 \q2 \p~<