\v=25
\v~=\w David|strong="H1732"\w* \w hizo|strong="H6213"\w* \w que|strong="H1931"\w* \w esta|strong="H2088"\w* \w fuera|strong="H1961"\w* \w la|strong="H1931"\w* regla \w y|strong="H5704"\w* norma \w para|strong="H5704"\w* \w Israel|strong="H3478"\w* \w desde|strong="H5704"\w* \w ese|strong="H1931"\w* \w día|strong="H3117"\w* \w hasta|strong="H5704"\w* \w ahora|strong="H3117"\w*. 
\¬v
\¬p