\q1
\v=17
\v~=\w Son|strong="H6440"\w* \w souvenir|strong="H2143"\w* \w disparaîtra|strong="H5074"\w* \w de|strong="H8034"\w* \w la|strong="H6440"\w* \w terre|strong="H6440"\w*. 
\¬q1
\q2
\p~<<q2=2 \w Il|strong="H4428"\w* n'aura \w pas|strong="H3808"\w* \w de|strong="H8034"\w* \w nom|strong="H8034"\w* \w dans|strong="H6440"\w* \w la|strong="H6440"\w* \w rue|strong="H2351"\w*. 
\¬q2
\¬v