\v=23
\v~=\w Tous|strong="H3605"\w* ceux-là \w furent|strong="H3478"\w* \w fils|strong="H1121"\w* \w de|strong="H1121"\w* \w Jokthan|strong="H3355"\w*. 
\¬v
\¬p