\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 le|strong="H2856"\w* \w soleil|strong="H2775"\w* \w ne|strong="H3808"\w* \w paraît|strong="H2224"\w* \w pas|strong="H3808"\w*; 
\¬q1
\q1
\p~<<q1=\w Il|strong="H3117"\w* \w met|strong="H5414"\w* \w un|strong="H6213"\w* \w sceau|strong="H2856"\w* \w sur|strong="H1157"\w* \w les|strong="H6213"\w* \w étoiles|strong="H3556"\w*. 
\¬q1
\¬v