\v=21
\v~=\w Ceux|strong="G3588"\w* \w qui|strong="G3588"\w* \w avaient|strong="G3588"\w* \w mangé|strong="G2068"\w* \w étaient|strong="G3588"\w* \w environ|strong="G5616"\w* \w cinq|strong="G5616"\w* \w mille|strong="G4000"\w* \w hommes|strong="G4000"\w*, \w sans|strong="G5565"\w* \w les|strong="G2532"\w* \w femmes|strong="G1135"\w* \w et|strong="G2532"\w* \w les|strong="G2532"\w* \w enfants|strong="G3813"\w*. 
\¬v
\¬p