\q1
\v=10
\v~=\w He|strong="H5221"\w* \w struck|strong="H5221"\w* \w many|strong="H7227"\w* \w nations|strong="H1471"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H4428"\w* \w killed|strong="H2026"\w* \w mighty|strong="H6099"\w* \w kings|strong="H4428"\w*— 
\¬q2
\¬v