\v=3
\v~=\w and|strong="H3117"\w* \w the|strong="H5704"\w* \w Beerothites|strong="H0886"\w* \w fled|strong="H1272"\w* \w to|strong="H5704"\w* \w Gittaim|strong="H1664"\w*, \w and|strong="H3117"\w* \w have|strong="H1961"\w* \w lived|strong="H1481"\w* \w as|strong="H5704"\w* \w foreigners|strong="H1481"\w* \w there|strong="H8033"\w* \w until|strong="H5704"\w* \w today|strong="H3117"\w*). 
\¬v
\¬p