\v=17
\v~=\w According|strong="H5921"\w* \w to|strong="H1696"\w* \w all|strong="H3605"\w* \w these|strong="H2088"\w* \w words|strong="H1697"\w*, \w and|strong="H1732"\w* \w according|strong="H5921"\w* \w to|strong="H1696"\w* \w all|strong="H3605"\w* \w this|strong="H2088"\w* \w vision|strong="H2384"\w*, \w so|strong="H3651"\w* \w did|strong="H3651"\w* \w Nathan|strong="H5416"\w* \w speak|strong="H1696"\w* \w unto|strong="H1696"\w* \w David|strong="H1732"\w*. 
\¬v
\¬p