\v=9
\v~=\w Ceux|strong="G1161"\w* \w qui|strong="G2532"\w* \w avaient|strong="G2192"\w* \w mangé|strong="G2068"\w* \w étaient|strong="G2532"\w* \w environ|strong="G5613"\w* \w quatre|strong="G5613"\w* \w mille|strong="G5070"\w*. \w Puis|strong="G2532"\w* \w il|strong="G2532"\w* \w les|strong="G2532"\w* renvoya. 
\¬v
\¬p