\q1
\v=33
\v~=\w There|strong="H3426"\w* \w is|strong="H3426"\w* no \w umpire|strong="H3198"\w* \w between|strong="H0996"\w* \w us|strong="H5921"\w*, 
\¬q1
\q2
\p~<<q2=\w that|strong="H3027"\w* \w might|strong="H3863"\w* \w lay|strong="H7896"\w* \w his|strong="H5921"\w* \w hand|strong="H3027"\w* \w on|strong="H5921"\w* \w us|strong="H5921"\w* \w both|strong="H8147"\w*. 
\¬q2
\¬v