\q1 \v=4 \v~=\w Do|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="2"\w* \w sleep|x-occurrence="1" x-occurrences="1"\w*, \¬q1 \q2 \p~<