\v=13
\v~=\w pour|strong="H5375"\w* \w tous|strong="H3605"\w* \w les|strong="H5375"\w* cèdres \w du|strong="H5921"\w* \w Liban|strong="H3844"\w*, \w qui|strong="H5971"\w* \w sont|strong="H3027"\w* \w hauts|strong="H7311"\w* \w et|strong="H5921"\w* \w élevés|strong="H7311"\w*, 
\¬q2
\q2
\p~<<q2=2 \w pour|strong="H5375"\w* \w tous|strong="H3605"\w* \w les|strong="H5375"\w* chênes \w de|strong="H5375"\w* Bashan, 
\¬q2
\q2
\p~<<q2=2 
\¬v