\q1
\v=37
\v~=\w Tu|strong="H7200"\w* \w as|strong="H3045"\w* \w élargi|strong="H7337"\w* \w mes|strong="H8104"\w* \w pas|strong="H6806"\w* \w sous|strong="H8478"\w* \w moi|strong="H3027"\w*. 
\¬q1
\q2
\p~<<q2=2 \w Mes|strong="H8104"\w* \w pieds|strong="H7166"\w* n'ont \w pas|strong="H6806"\w* glissé. 
\¬q2
\¬v