\v=17 \v~=\w for|strong="G1063"\w* \w it|strong="G3140"\w* \w is|strong="G3588"\w* \w testified|strong="G3140"\w*, \¬p \q1 \p~<