\q1
\v=23
\v~=\w Son|strong="H3045"\w* \w mari|strong="H1167"\w* \w est|strong="H1167"\w* \w considéré|strong="H3045"\w* \w aux|strong="H3045"\w* \w portes|strong="H8179"\w*, 
\¬q1
\q1
\p~<<q1=Lorsqu’il \w siège|strong="H3427"\w* \w avec|strong="H3427"\w* \w les|strong="H3045"\w* \w anciens|strong="H2205"\w* \w du|strong="H3427"\w* \w pays|strong="H7704"\w*. 
\¬q1
\¬v