\v=15
\v~=\w Ozem|x-occurrence="1" x-occurrences="1"\w* \w sixth|x-occurrence="1" x-occurrences="1"\w*, \w then|x-occurrence="1" x-occurrences="1"\w* \w David|x-occurrence="1" x-occurrences="1"\w* \w last|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬q2