\v=20
\v~=\w As|strong="H1961"\w* \w she|strong="H1931"\w* \w rode|strong="H7392"\w* \w on|strong="H5921"\w* \w her|strong="H5921"\w* \w donkey|strong="H2543"\w*, \w and|strong="H0376"\w* \w came|strong="H1961"\w* \w down|strong="H3381"\w* hidden \w by|strong="H5921"\w* \w the|strong="H0853"\w* \w mountain|strong="H2022"\w*, \w behold|strong="H2009"\w*, \w David|strong="H1732"\w* \w and|strong="H0376"\w* \w his|strong="H5921"\w* \w men|strong="H0376"\w* \w came|strong="H1961"\w* \w down|strong="H3381"\w* \w toward|strong="H5921"\w* \w her|strong="H5921"\w*, \w and|strong="H0376"\w* \w she|strong="H1931"\w* \w met|strong="H6298"\w* \w them|strong="H0853"\w*. 
\¬v
\¬p