\q1
\v=10
\v~=\w Many|strong="H7227"\w* \w nations|strong="H1471"\w* \w he|strong="H5221"\w* \w struck|strong="H5221"\w*, 
\¬q1
\q2
\p~<<q2=\w mighty|strong="H6099"\w* \w kings|strong="H4428"\w* \w he|strong="H5221"\w* \w slew|strong="H2026"\w* 
\¬q2
\¬v