\q1
\v=15
\v~=\w mais|strong="H3588"\w* \w a|strong="H2617"\w* renversé \w Pharaon|strong="H6547"\w* \w et|strong="H2617"\w* \w son|strong="H5769"\w* \w armée|strong="H2428"\w* \w dans|strong="H2428"\w* \w la|strong="H5769"\w* \w mer|strong="H3220"\w* \w Rouge|strong="H5488"\w*, 
\¬q1
\q2
\p~<<q2=2 \w car|strong="H3588"\w* \w sa|strong="H5414"\w* \w bonté|strong="H2617"\w* \w est|strong="H2617"\w* \w éternelle|strong="H5769"\w* ; 
\¬q2
\¬v