\p
\v=11
\v~=\w De|strong="H1121"\w* \w Benjamin|strong="H1144"\w*  : Abidan, \w fils|strong="H1121"\w* \w de|strong="H1121"\w* Gideoni. 
\¬v
\¬p