\v=46
\v~=\w and|strong="H5769"\w* \w they|strong="H5704"\w* \w shall|strong="H2233"\w* \w be|strong="H1961"\w* \w upon|strong="H1961"\w* \w thee|strong="H5414"\w* \w for|strong="H5704"\w* \w a|strong="H1961"\w* \w sign|strong="H4159"\w* \w and|strong="H5769"\w* \w for|strong="H5704"\w* \w a|strong="H1961"\w* \w wonder|strong="H4159"\w*, \w and|strong="H5769"\w* \w upon|strong="H1961"\w* \w thy|strong="H3068"\w* \w seed|strong="H2233"\w* \w for|strong="H5704"\w* \w ever|strong="H5769"\w*. 
\¬v
\¬p