\v=2 \v~=\w For|strong="G1063"\w* \w he|strong="G2532"\w* \w says|strong="G3004"\w* – \¬p \q1 \p~<