\v=22
\v~=\w For|strong="H3588"\w* \w from|strong="H5921"\w* day \w to|strong="H1961"\w* day \w men|strong="H1368"\w* \w came|strong="H1961"\w* \w to|strong="H1961"\w* \w David|strong="H1732"\w* \w to|strong="H1961"\w* \w help|strong="H5826"\w* \w him|strong="H5921"\w*, \w until|strong="H5921"\w* \w there|strong="H1961"\w* \w was|strong="H1961"\w* \w a|strong="H1961"\w* \w great|strong="H1368"\w* \w army|strong="H2428"\w*, \w like|strong="H1961"\w* God’s \w army|strong="H2428"\w*. 
\¬v
\¬p