\v=22
\v~=\w For|strong="H3588"\w* \w from|strong="H5921"\w* \w day|strong="H3117"\w* \w to|strong="H1961"\w* \w day|strong="H3117"\w* \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="H3588"\w* \w there|strong="H1961"\w* \w was|strong="H1961"\w* \w a|strong="H1961"\w* \w great|strong="H1368"\w* \w host|strong="H6635"\w*, \w like|strong="H1961"\w* \w the|strong="H3605"\w* \w host|strong="H6635"\w* \w of|strong="H8269"\w* \w God|strong="H0430"\w*. 
\¬v
\¬p