\v=15
\v~=\w pour|strong="H2346"\w* \w chaque|strong="H3605"\w* \w tour|strong="H4026"\w* \w élevée|strong="H1364"\w*, 
\¬q2
\q2
\p~<<q2=2 \w pour|strong="H2346"\w* \w chaque|strong="H3605"\w* \w mur|strong="H2346"\w* fortifié, 
\¬q2
\q2
\p~<<q2=2 
\¬v