\p \v=17 \v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w said|x-occurrence="1" x-occurrences="1"\w*: \¬p \q1 \p~<