\v=20
\v~=\w And|strong="H1732"\w* \w David|strong="H1732"\w* \w took|strong="H3947"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w flocks|strong="H6629"\w* \w and|strong="H1732"\w* \w the|strong="H3605"\w* \w herds|strong="H1241"\w*, \add \+w which|strong="H1931"\+w*\add* \w they|strong="H1931"\w* \w drove|strong="H5090"\w* \w before|strong="H6440"\w* \w those|strong="H3605"\w* \add \+w other|strong="H2088"\+w*\add* \w cattle|strong="H4735"\w*, \w and|strong="H1732"\w* \w said|strong="H0559"\w*, \w This|strong="H2088"\w* \w is|strong="H2088"\w* \w David’s|strong="H1732"\w* \w spoil|strong="H7998"\w*. 
\¬v
\¬p