\v=22
\v~=\w He|strong="H1931"\w* \w built|strong="H1129"\w* \w Elath|strong="H0359"\w*, \w and|strong="H3063"\w* \w restored|strong="H7725"\w* \w it|strong="H1931"\w* \w to|strong="H7725"\w* \w Judah|strong="H3063"\w*, \w after|strong="H0310"\w* \w that|strong="H1931"\w* \w the|strong="H7725"\w* \w king|strong="H4428"\w* \w slept|strong="H7901"\w* \w with|strong="H5973"\w* \w his|strong="H7725"\w* \w fathers|strong="H0001"\w*. 
\¬v
\¬p