\v=17
\v~=\w Nathan|strong="H5416"\w* \w spoke|strong="H1696"\w* \w to|strong="H0413"\w* \w David|strong="H1732"\w* \w all|strong="H3605"\w* \w these|strong="H0428"\w* \w words|strong="H1697"\w*, \w and|strong="H1732"\w* \w according|strong="H0413"\w* \w to|strong="H0413"\w* \w all|strong="H3605"\w* \w this|strong="H2088"\w* \w vision|strong="H2384"\w*. 
\¬v
\¬p