\q1
\v=20
\v~=\w Il|strong="H3427"\w* \w lève|strong="H5375"\w* \w ses|strong="H8085"\w* \w mains|strong="H3027"\w* \w contre|strong="H8085"\w* \w ses|strong="H8085"\w* \w amis|strong="H3045"\w*. 
\¬q1
\q2
\p~<<q2=2 \w Il|strong="H3427"\w* \w a|strong="H3427"\w* \w violé|strong="H2490"\w* \w son|strong="H8085"\w* \w alliance|strong="H1285"\w*. 
\¬q2
\¬v