\q1
\v=5
\v~=\w Ils|strong="H3162"\w* \w l'ont|strong="H7227"\w* \w vu|strong="H7200"\w*, puis \w ils|strong="H3162"\w* \w ont|strong="H4428"\w* été \w stupéfaits|strong="H8539"\w*. 
\¬q1
\q2
\p~<<q2=2 \w Ils|strong="H3162"\w* \w étaient|strong="H4428"\w* \w consternés|strong="H7307"\w*. 
\¬q2
\q2
\p~<<q2=2 \w Ils|strong="H3162"\w* \w se|strong="H4428"\w* \w sont|strong="H4428"\w* empressés \w de|strong="H4428"\w* partir. 
\¬q2
\¬v