\v=7
\v~=\w He|strong="H1931"\w* \w slew|strong="H5221"\w* \w of|strong="H3117"\w* \w Edom|strong="H0112"\w* \w in|strong="H3117"\w* \w the|strong="H5221"\w* \w Valley|strong="H1516"\w* \w of|strong="H3117"\w* \w Salt|strong="H4417"\w* \w ten|strong="H6235"\w* \w thousand|strong="H0505"\w*, \w and|strong="H3117"\w* \w took|strong="H8610"\w* \w Sela|strong="H5554"\w* \w by|strong="H3117"\w* \w war|strong="H4421"\w*, \w and|strong="H3117"\w* \w called|strong="H7121"\w* \w the|strong="H5221"\w* \w name|strong="H8034"\w* \w of|strong="H3117"\w* \w it|strong="H1931"\w* \w Joktheel|strong="H3371"\w*, \w unto|strong="H7121"\w* \w this|strong="H2088"\w* \w day|strong="H3117"\w*. 
\¬v
\¬p