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