\v=20
\v~=\w They|strong="H5921"\w* \w brought|strong="H5375"\w* \w him|strong="H5921"\w* \w on|strong="H5921"\w* \w horses|strong="H5483"\w*, \w and|strong="H3389"\w* \w he|strong="H1732"\w* \w was|strong="H1732"\w* \w buried|strong="H6912"\w* \w at|strong="H5921"\w* \w Jerusalem|strong="H3389"\w* \w with|strong="H5973"\w* \w his|strong="H5921"\w* \w fathers|strong="H0001"\w* \w in|strong="H5921"\w* \w David’s|strong="H1732"\w* \w city|strong="H5892"\w*. 
\¬v
\¬p