\v=2 \v~=\w And|strong="H3068"\w* \w he|strong="H3068"\w* \w said|strong="H0559"\w*, \¬p \q1 \p~<