\q1 \v=12 \v~=\w Horses|x-occurrence="1" x-occurrences="1"\w* \w certainly|x-occurrence="1" x-occurrences="2"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w run|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w big|x-occurrence="1" x-occurrences="1"\w* \w rocks|x-occurrence="1" x-occurrences="2"\w*, \¬q1 \q2 \p~<