\q1
\v=4
\v~=\w Il|strong="H3389"\w* \w compte|strong="H4487"\w* \w le|strong="H7121"\w* \w nombre|strong="H4557"\w* d'étoiles. 
\¬q1
\q2
\p~<<q2=2 \w Il|strong="H3389"\w* \w les|strong="H7121"\w* \w appelle|strong="H7121"\w* \w tous|strong="H3605"\w* \w par|strong="H4557"\w* \w leur|strong="H4557"\w* \w nom|strong="H8034"\w*. 
\¬q2
\¬v