\q1
\v=9
\v~=(\w Car|strong="H3588"\w* \w nous|strong="H6440"\w* \w ne|strong="H3808"\w* \w sommes|strong="H3117"\w* \w que|strong="H3117"\w* d'hier, \w et|strong="H3117"\w* \w nous|strong="H6440"\w* \w ne|strong="H3808"\w* \w savons|strong="H3045"\w* \w rien|strong="H3808"\w*, 
\¬q1
\q2
\p~<<q2=2 \w car|strong="H3588"\w* \w nos|strong="H3045"\w* \w jours|strong="H3117"\w* \w sur|strong="H5921"\w* \w terre|strong="H6083"\w* \w ne|strong="H3808"\w* \w sont|strong="H3117"\w* qu'une \w ombre|strong="H6738"\w*). 
\¬q2
\¬v