\q1 \v=9 \v~=\w There|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="1" x-occurrences="2"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w any|x-occurrence="1" x-occurrences="2"\w* \w lions|x-occurrence="1" x-occurrences="1"\w* \w there|x-occurrence="1" x-occurrences="1"\w* \¬q1 \q2 \p~<