\q1
\v=15
\v~=\w He|strong="H2009"\w* \w has|strong="H2009"\w* dug \w a|strong="H3205"\w* hole, 
\¬q1
\q2
\p~<<q2=\w and|strong="H2029"\w* \w has|strong="H2009"\w* fallen into \w the|strong="H3205"\w* pit which \w he|strong="H2009"\w* made. 
\¬q2
\¬v