\v=42
\v~=\w Tous|strong="G3956"\w* \w mangèrent|strong="G5315"\w* \w et|strong="G2532"\w* \w furent|strong="G2532"\w* \w rassasiés|strong="G5526"\w*, 
\¬v