\q1
\v=27
\v~=\w Zion|strong="H6726"\w* shall \w be|strong="H7725"\w* \w redeemed|strong="H6299"\w* \w with|strong="H6726"\w* \w justice|strong="H4941"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H7725"\w* \w her|strong="H7725"\w* converts \w with|strong="H6726"\w* \w righteousness|strong="H6666"\w*. 
\¬q2
\¬v