\v=11
\v~=Joiada \w engendra|strong="H3205"\w* \w Jonathan|strong="H3129"\w* ; \w Jonathan|strong="H3129"\w* \w engendra|strong="H3205"\w* \w Jaddua|strong="H3037"\w*. 
\¬v
\¬p