\q1
\v=9
\v~=\w Il|strong="H1732"\w* \w arrivera|strong="H6965"\w* \w que|strong="H3498"\w* \w si|strong="H3808"\w* \w dix|strong="H6235"\w* \w hommes|strong="H1697"\w* \w restent|strong="H3498"\w* \w dans|strong="H8432"\w* \w une|strong="H1004"\w* \w maison|strong="H1004"\w*, 
\¬q1
\q2
\p~<<q2=2 \w ils|strong="H1961"\w* \w mourront|strong="H4191"\w*. 
\¬q2
\¬v