\q1
\v=26
\v~=\w Quand|strong="H6213"\w* \w il|strong="H3027"\w* \w a|strong="H6213"\w* \w fait|strong="H6213"\w* \w un|strong="H6213"\w* \w décret|strong="H2706"\w* \w pour|strong="H6213"\w* \w la|strong="H6213"\w* \w pluie|strong="H4306"\w*, 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H6963"\w* \w un|strong="H6213"\w* \w chemin|strong="H1870"\w* \w pour|strong="H6213"\w* l'éclair \w du|strong="H1870"\w* \w tonnerre|strong="H6963"\w*, 
\¬q2
\¬v