\v=3
\v~=\w And|strong="H1980"\w* \w nations|strong="H1471"\w* \w shall|strong="H1471"\w* \w come|strong="H1980"\w* \w to|strong="H1980"\w* \w thy|strong="H4428"\w* \w light|strong="H5051"\w*, \w and|strong="H1980"\w* \w kings|strong="H4428"\w* \w to|strong="H1980"\w* \w the|strong="H1980"\w* \w brightness|strong="H5051"\w* \w of|strong="H4428"\w* \w thy|strong="H4428"\w* \w rising|strong="H2225"\w*. 
\¬v
\¬p