\v=42
\v~=\w Todos|strong="G3956"\w* \w comieron|strong="G5315"\w* \w hasta|strong="H5704"\w* \w que|strong="G2532"\w* \w quedaron|strong="H7604"\w* saciados. 
\¬v