\q1
\v=7
\v~=\w Il|strong="H3117"\w* \w commande|strong="H5414"\w* \w au|strong="H5414"\w* \w soleil|strong="H2775"\w* \w et|strong="H3808"\w* \w il|strong="H3117"\w* \w ne|strong="H3808"\w* \w se|strong="H3556"\w* \w lève|strong="H2224"\w* \w pas|strong="H3808"\w*, 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H3808"\w* \w scelle|strong="H2856"\w* \w les|strong="H6213"\w* \w étoiles|strong="H3556"\w*. 
\¬q2
\¬v