\q2
\v=15
\v~=\w for|strong="H5921"\w* \w every|strong="H3605"\w* \w lofty|strong="H1364"\w* \w tower|strong="H4026"\w*, 
\¬q2
\q2
\p~<<q2=\w for|strong="H5921"\w* \w every|strong="H3605"\w* \w fortified|strong="H1219"\w* \w wall|strong="H2346"\w*, 
\¬q2
\¬v