\v=42
\v~=\w And|strong="H1121"\w* \w Saul|strong="H7586"\w* \w said|strong="H0559"\w*, \w Cast|strong="H5307"\w* \add \+w lots|strong="H1486"\+w*\add* \w between|strong="H0996"\w* \w me|strong="H1121"\w* \w and|strong="H1121"\w* \w Jonathan|strong="H3129"\w* \w my|strong="H7586"\w* \w son|strong="H1121"\w*. \w And|strong="H1121"\w* \w Jonathan|strong="H3129"\w* \w was|strong="H7586"\w* \w taken|strong="H3920"\w*. 
\¬v
\¬p