\q1
\v=27
\v~=\w Sion|strong="H6726"\w* \w sera|strong="H6726"\w* \w rachetée|strong="H6299"\w* \w avec|strong="H7725"\w* \w justice|strong="H6666"\w*, 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H7725"\w* \w ses|strong="H7725"\w* convertis \w avec|strong="H7725"\w* \w droiture|strong="H4941"\w*. 
\¬q2
\¬v