\q1
\v=9
\v~=\w We|strong="H5704"\w* \w see|strong="H7200"\w* \w no|strong="H3808"\w* miraculous \w signs|strong="H0226"\w*. 
\¬q1
\q2
\p~<<q2=\w There|strong="H0369"\w* \w is|strong="H0369"\w* \w no|strong="H3808"\w* \w longer|strong="H5750"\w* \w any|strong="H5750"\w* \w prophet|strong="H5030"\w*, 
\¬q2
\q2
\p~<<q2=\w neither|strong="H3808"\w* \w is|strong="H0369"\w* \w there|strong="H0369"\w* \w among|strong="H0854"\w* \w us|strong="H3045"\w* \w anyone|strong="H7200"\w* \w who|strong="H0369"\w* \w knows|strong="H3045"\w* \w how|strong="H4100"\w* \w long|strong="H5704"\w*. 
\¬q2
\¬v