\v=17
\v~=\w All|strong="H3605"\w* \w these|strong="H3605"\w* \w were|strong="H3478"\w* \w reckoned|strong="H3187"\w* \w by|strong="H3117"\w* \w genealogies|strong="H3187"\w* \w in|strong="H3478"\w* \w the|strong="H3605"\w* \w days|strong="H3117"\w* \w of|strong="H4428"\w* \w Jotham|strong="H3147"\w* \w king|strong="H4428"\w* \w of|strong="H4428"\w* \w Judah|strong="H3063"\w*, \w and|strong="H3063"\w* \w in|strong="H3478"\w* \w the|strong="H3605"\w* \w days|strong="H3117"\w* \w of|strong="H4428"\w* \w Jeroboam|strong="H3379"\w* \w king|strong="H4428"\w* \w of|strong="H4428"\w* \w Israel|strong="H3478"\w*. 
\¬v
\¬p