\v=17 \v~=\w And|x-occurrence="1" x-occurrences="1"\w* {\w then|x-occurrence="1" x-occurrences="1"\w*}, \¬q2 \q2 \p~<