\q1
\v=15
\v~=\w Ils|strong="H7725"\w* erreront \w de|strong="H5892"\w* long \w en|strong="H7725"\w* large \w pour|strong="H5892"\w* trouver \w de|strong="H5892"\w* \w la|strong="H7725"\w* \w nourriture|strong="H6310"\w*, 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H7725"\w* attendre \w toute|strong="H3605"\w* \w la|strong="H7725"\w* \w nuit|strong="H6153"\w* \w s'ils|strong="H3045"\w* \w ne|strong="H3611"\w* \w sont|strong="H5892"\w* \w pas|strong="H7725"\w* satisfaits. 
\¬q2
\¬v