\v=9 \v~=\w And|strong="G2532"\w* \w David|strong="G1138"\w* \w saith|strong="G3004"\w*, \¬p \q1 \p~<