\q1 \v=13 \v~=\w When|x-occurrence="1" x-occurrences="1"\w* \w people|x-occurrence="1" x-occurrences="1"\w* \w are|x-occurrence="1" x-occurrences="1"\w* \w happy|x-occurrence="1" x-occurrences="1"\w*, \w they|x-occurrence="1" x-occurrences="1"\w* \w have|x-occurrence="1" x-occurrences="1"\w* \w smiles|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w their|x-occurrence="1" x-occurrences="1"\w* \w faces|x-occurrence="1" x-occurrences="1"\w*, \¬q1 \q2 \p~<