\q1 \v=25 \v~=\w May|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w smile|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="1" x-occurrences="2"\w* \¬q1 \q2 \p~<