\v=2 \v~=\w He|strong="H3068"\w* \w said|strong="H0559"\w*: \¬p \q1 \p~<