\v=9
\v~=\w David|strong="H1732"\w* \w devenait|strong="H3212"\w* \w de|strong="H6635"\w* \w plus|strong="H1980"\w* \w en|strong="H3212"\w* \w plus|strong="H1980"\w* \w grand|strong="H1419"\w*, \w car|strong="H3588"\w* \w l'Éternel|strong="H7121"\w* \w des|strong="H3068"\w* \w armées|strong="H6635"\w* \w était|strong="H1732"\w* \w avec|strong="H3212"\w* \w lui|strong="H3068"\w*. 
\¬v
\¬p