\q1
\v=18
\v~=\w Le|strong="H7673"\w* \w lot|strong="H1486"\w* \w règle|strong="H4941"\w* \w les|strong="H6504"\w* litiges, 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H6099"\w* \w sépare|strong="H6504"\w* \w les|strong="H6504"\w* \w plus|strong="H7673"\w* \w forts|strong="H1419"\w*. 
\¬q2
\¬v