\v=37
\v~=\w and|strong="H4428"\w* \w they|strong="H3808"\w* \w took|strong="H3920"\w* \w it|strong="H6213"\w*, \w and|strong="H4428"\w* \w smote|strong="H5221"\w* \w it|strong="H6213"\w* \w with|strong="H6213"\w* \w the|strong="H3605"\w* \w edge|strong="H6310"\w* \w of|strong="H4428"\w* \w the|strong="H3605"\w* \w sword|strong="H2719"\w*, \w and|strong="H4428"\w* \w the|strong="H3605"\w* \w king|strong="H4428"\w* \w thereof|strong="H5892"\w*, \w and|strong="H4428"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w cities|strong="H5892"\w* \w thereof|strong="H5892"\w*, \w and|strong="H4428"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w souls|strong="H5315"\w* \w that|strong="H3605"\w* \w were|strong="H5315"\w* \w therein|strong="H4393"\w*; \w he|strong="H6213"\w* \w left|strong="H7604"\w* \w none|strong="H3808"\w* \w remaining|strong="H8300"\w*, \w according|strong="H6310"\w* \w to|strong="H6213"\w* \w all|strong="H3605"\w* \w that|strong="H3605"\w* \w he|strong="H6213"\w* \w had|strong="H4428"\w* \w done|strong="H6213"\w* \w to|strong="H6213"\w* \w Eglon|strong="H5700"\w*; \w but|strong="H3808"\w* \w he|strong="H6213"\w* \w utterly|strong="H2763"\w* \w destroyed|strong="H2763"\w* \w it|strong="H6213"\w*, \w and|strong="H4428"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w souls|strong="H5315"\w* \w that|strong="H3605"\w* \w were|strong="H5315"\w* \w therein|strong="H4393"\w*. 
\¬v
\¬p