\v=6
\v~=\w He|strong="H0853"\w* \w overtook|strong="H5381"\w* \w them|strong="H0413"\w*, \w and|strong="H1697"\w* \w he|strong="H0853"\w* \w spoke|strong="H1696"\w* \w these|strong="H0428"\w* \w words|strong="H1697"\w* \w to|strong="H0413"\w* \w them|strong="H0413"\w*. 
\¬v
\¬p