\q1
\v=9
\v~=\w Ils|strong="H1121"\w* \w se|strong="H1004"\w* \w précipitent|strong="H8264"\w* \w sur|strong="H5927"\w* \w la|strong="H5927"\w* \w ville|strong="H5892"\w*. 
\¬q1
\q2
\p~<<q2=2 \w Ils|strong="H1121"\w* \w courent|strong="H7323"\w* \w sur|strong="H5927"\w* \w le|strong="H5927"\w* \w mur|strong="H2346"\w*. 
\¬q2
\q2
\p~<<q2=2 \w Ils|strong="H1121"\w* \w montent|strong="H5927"\w* \w dans|strong="H6440"\w* \w les|strong="H5927"\w* \w maisons|strong="H1004"\w*. 
\¬q2
\q2
\p~<<q2=2 \w Ils|strong="H1121"\w* entrent \w par|strong="H5892"\w* \w les|strong="H5927"\w* \w fenêtres|strong="H2474"\w* \w comme|strong="H1004"\w* \w des|strong="H1004"\w* \w voleurs|strong="H1590"\w*. 
\¬q2
\¬v